SI-7834 Type equivalence of C.this and C.super.

Foo.this.x and Foo.super.x were roughly unrelated in the eyes
of isSubType. I implemented conformance as described in the comment:

  This is looking for situations such as B.this.x.type <:< B.super.x.type.
  If it's a ThisType on the lhs and a SuperType on the right, and they originate
  in the same class, and the 'x' in the ThisType has in its override chain
  the 'x' in the SuperType, then the types conform.

I think this is overly conservative but it's way ahead of
where it was.

1 files changed, 6 insertions, 0 deletions

diff --git a/test/files/pos/t7834.scala b/test/files/pos/t7834.scala
new file mode 100644
index 0000000000..fc9a0aa09d
--- /dev/null
+++ b/test/files/pos/t7834.scala
@@ -0,0 +1,6 @@
+class S { val q = "" }
+
+class B extends S {
+  val x1: B.super.q.type = q
+  val x2: B.this.q.type  = q
+}