From ffbef58bf89c029efdf3b0bcf7f292d125768846 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 11 Feb 2020 13:09:33 +0100
Subject: [PATCH] Fix #8284: Test case

---
 tests/pos/i8284.scala | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 tests/pos/i8284.scala

diff --git a/tests/pos/i8284.scala b/tests/pos/i8284.scala
new file mode 100644
index 000000000000..148ef81c67b6
--- /dev/null
+++ 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 = ???
\ No newline at end of file