java classes not given necessary ThisType prefixes

[scabug]

Given classfiles built from these should-be-equivalent scala and java sources:

// scala
package s

class Foo[A] {
  abstract class Bar extends java.util.Iterator[A]
  abstract class SubBar extends Bar
}

// java
package j;

public class JFoo<A> {
  public abstract class Bar implements java.util.Iterator<A> { }
  public abstract class SubBar extends Bar { }
}

...we are given a malformed prefix for java's SubBar, and a correct one for scala's.

scala> (typeOf[s.Foo[_]] member TypeName("SubBar")).info.parents
res1: List[$r.intp.global.Type] = List(Foo.this.Bar)

scala> (typeOf[j.JFoo[_]] member TypeName("SubBar")).info.parents
res2: List[$r.intp.global.Type] = List(j.JFoo[A]#Bar)

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-7538?orig=1
Reporter: @paulp
Attachments:

• 0001-SI-7538-wrong-prefix-for-nested-java-classes.patch (created on Aug 15, 2013 11:17:45 PM UTC, 8243 bytes)

[scabug]

@paulp said:
Attached my patch in case it will save someone else some time.

[SethTisue]

still reproducible in Scala 2? fixed in Scala 3? (anyone feel like checking?)

[joroKr21]

I can reproduce it with $SubBar in Scala 2.13 - not sure how you would check in Scala 3