Dotty gets confused by raw types in bytecode signatures

Consider the following file Test.scala:

import org.testng.IAnnotationTransformer
import org.testng.annotations.ITestAnnotation
import java.lang.reflect.Method
import java.lang.reflect.Constructor

class SingleTestAnnotationTransformer(testName: String) extends IAnnotationTransformer {
  override def transform( annotation: ITestAnnotation, testClass: java.lang.Class[_], testConstructor: Constructor[_], testMethod: Method): Unit = {}
}

Running

./bin/dotc -classpath "$(coursier fetch -p org.testng:testng:6.8.7)" Test.scala 

produces the following error:

-- [E036] Reference Error: Test.scala:9:15 -------------------------
9 |  override def transform( annotation: ITestAnnotation, testClass: java.lang.Class[_], testConstructor: Constructor[_], testMethod: Method): Unit = {
  |               ^
  |               method transform overrides nothing

[smarter]

@adriaanm Behold! https://github.com/lampepfl/dotty/blob/c50c16420b037268fe8e62bdd659e60ee2ceabfc/compiler/src/dotty/tools/dotc/core/SymDenotations.scala#L1897-L1903

My plan is in fact to see if I can use this for classfile loading too 😉

[odersky]

I plan to refactor ClassfileParser to be able to discard parts of the classfile we don’t care about (e.g the Code attributes, private methods).

That would be very helpful. We should do something similar with Tasty files which suffer the same problem.