Merge pull request #8285 from dotty-staging/fix-#8284

smarter · web-flow · commit c2073c665ed3 · 2020-02-11T16:21:01.000+01:00
Fix #8284: Test case
diff --git a/tests/pos/i8284.scala b/tests/pos/i8284.scala
@@ -0,0 +1,5 @@
+type Foo
+given myFoo1 as (Foo { type X = Int }) = ???
+
+type Bar = Foo { type X = Int }
+given myFoo2 as Bar = ???
