Another test case

odersky · odersky · commit 78ef3ec84607 · 2021-01-02T14:09:01.000+01:00
diff --git a/tests/pos/i10638.scala b/tests/pos/i10638.scala
@@ -0,0 +1,9 @@
+package woes
+
+trait Txn[T <: Txn[T]]
+
+trait Impl[Repr[~ <: Txn[~]]] {
+  final type Ext = Extension[Repr]  // Huh!
+}
+
+trait Extension[Repr[~ <: Txn[~]]]
