SI-6551 Expand test case into uncomfortable areas.

    trait T { type U }
    class A(val a: T) extends AnyVal {
      def foo[TT <: a.U] = 0
    }

It works! But it's pure serendipity. After extmethods,
the careful student of ASTs will find:

    object A {
      final def foo$extension[TT >: Nothing <: A.this.a.U]($this: A): Int = 0;
    }

`A.this` doesn't belong.

For now we just include this case under our test umbrella.

0 files changed, 0 insertions, 0 deletions