fixed bug1090

widen now only normalizes when necessary

1 files changed, 16 insertions, 0 deletions

diff --git a/test/files/pos/bug1090.scala b/test/files/pos/bug1090.scala
new file mode 100644
index 0000000000..69f757fe34
--- /dev/null
+++ b/test/files/pos/bug1090.scala
@@ -0,0 +1,16 @@
+object Test {
+  trait Manager {
+    type Node;
+    def elements : Iterator[Node]
+  }
+  trait Core {
+    type Node;
+    trait NodeImpl
+    trait Manager extends Test.Manager {
+      type Node = Core.this.Node
+    }
+    def f(manager : Manager) = manager.elements.foreach{
+      case node : NodeImpl =>
+    }
+  }
+}
\ No newline at end of file