From 8d4b5034c0ca2eb97473c0bc5775fe38e44c9df0 Mon Sep 17 00:00:00 2001 From: Heather Miller Date: Sun, 6 May 2012 23:30:18 +0200 Subject: Test case for SI-1557 --- test/pending/neg/t1557.scala | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 test/pending/neg/t1557.scala (limited to 'test/pending/neg/t1557.scala') diff --git a/test/pending/neg/t1557.scala b/test/pending/neg/t1557.scala new file mode 100644 index 0000000000..ba93b45fad --- /dev/null +++ b/test/pending/neg/t1557.scala @@ -0,0 +1,18 @@ +object Test extends App { + trait A + trait B extends A + + trait C { + trait D { type T >: B <: A } + val y: (D with this.type)#T = new B { } + } + + class D extends C { + trait E + type T = E + def frob(arg : E) : E = arg + frob(y) + } + + new D +} \ No newline at end of file -- cgit v1.2.3