1 files changed, 11 insertions, 0 deletions
diff --git a/tests/untried/pos/t8177g.scala b/tests/untried/pos/t8177g.scala
new file mode 100644
index 000000000..237257b69
--- /dev/null
+++ b/tests/untried/pos/t8177g.scala
@@ -0,0 +1,11 @@
+// exercise coevolveSym: ThisType
+trait HasA { type A }
+class AA[T] {
+  type HasAT[T] = HasA{ type A = T }
+  val x: HasAT[T] = ???
+  def foo: x.A = ???
+}
+
+class B extends AA[Int] {
+  override def foo: B.this.x.A = super.foo
+}