TypeAssigner#avoid: do not lose type parameters when the base type changes.

Fixes #741.

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]
+    }
   }
 }