SI-6551 Expand test case into uncomfortable areas.
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.

shimib/scala,slothspot/scala,scala/scala,slothspot/scala,jvican/scala,felixmulder/scala,slothspot/scala,lrytz/scala,slothspot/scala,scala/scala,martijnhoekstra/scala,felixmulder/scala,lrytz/scala,felixmulder/scala,shimib/scala,lrytz/scala,shimib/scala,slothspot/scala,martijnhoekstra/scala,jvican/scala,shimib/scala,lrytz/scala,scala/scala,slothspot/scala,lrytz/scala,shimib/scala,lrytz/scala,jvican/scala,martijnhoekstra/scala,scala/scala,martijnhoekstra/scala,felixmulder/scala,martijnhoekstra/scala,scala/scala,scala/scala,slothspot/scala,shimib/scala,jvican/scala,jvican/scala,jvican/scala,felixmulder/scala,felixmulder/scala,jvican/scala,martijnhoekstra/scala,felixmulder/scala