diff options
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/escapingRefs.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/pos/escapingRefs.scala b/tests/pos/escapingRefs.scala index 684dba868..1b1deb8de 100644 --- a/tests/pos/escapingRefs.scala +++ b/tests/pos/escapingRefs.scala @@ -6,6 +6,8 @@ class Outer { class HasA { type A } +class Foo[A] + object Test { def test = { val a: Outer#Inner = { @@ -26,5 +28,15 @@ object Test { val x: HasA { type A = h.A } = h x } + + val d: Foo[Int] = { + class Bar[B] extends Foo[B] + new Bar[Int] + } + + val e: Foo[_] = { + class Bar[B] extends Foo[B] + new Bar[Int]: Bar[_ <: Int] + } } } |