From 5150cad821a9e7db821732eeb19019b96e1975a0 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Sun, 28 Dec 2014 17:42:04 +0100
Subject: Prevent block types with references to local symbols

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

(limited to 'tests/pos/anonClassSubtyping.scala')

diff --git a/tests/pos/anonClassSubtyping.scala b/tests/pos/anonClassSubtyping.scala
new file mode 100644
index 000000000..b5591d826
--- /dev/null
+++ b/tests/pos/anonClassSubtyping.scala
@@ -0,0 +1,9 @@
+object O {
+  class A
+  class B
+  def f[T](x: T, y: T): T = x
+
+  val x: A = f(new A { }, new A)
+
+  val y: A | B = f(new A { }, new B)
+}
-- 
cgit v1.2.3