diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-05-07 12:22:56 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-05-07 12:22:56 +0000 |
commit | 5be9ee030535a806c3f2467d8af1962b4131062a (patch) | |
tree | c26d5dc88f188a53838d2f152af0964348a7f421 /test | |
parent | e5813a6b343943b574b6e8c81bda5567e3c7e2e0 (diff) | |
download | scala-5be9ee030535a806c3f2467d8af1962b4131062a.tar.gz scala-5be9ee030535a806c3f2467d8af1962b4131062a.tar.bz2 scala-5be9ee030535a806c3f2467d8af1962b4131062a.zip |
fixed bug1090
widen now only normalizes when necessary
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug1090.scala | 16 |
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 |