diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-31 12:34:08 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-31 12:34:08 +0000 |
commit | 37b3648e30cbce8ac9f2b9b48b63cdf15d6a2d34 (patch) | |
tree | 90eb35761ab8dc22a7f044e266d01d9a92fc1898 /test/files/neg/bug729.scala | |
parent | 5352638cee8a3b7b67d2dc717f651984b4f7001b (diff) | |
download | scala-37b3648e30cbce8ac9f2b9b48b63cdf15d6a2d34.tar.gz scala-37b3648e30cbce8ac9f2b9b48b63cdf15d6a2d34.tar.bz2 scala-37b3648e30cbce8ac9f2b9b48b63cdf15d6a2d34.zip |
fixed bugs 729, 752
Diffstat (limited to 'test/files/neg/bug729.scala')
-rw-r--r-- | test/files/neg/bug729.scala | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/files/neg/bug729.scala b/test/files/neg/bug729.scala new file mode 100644 index 0000000000..83e7f4cd1e --- /dev/null +++ b/test/files/neg/bug729.scala @@ -0,0 +1,23 @@ +trait Parser { + type Node <: NodeImpl; + implicit def coerce(n : NodeImpl) = n.self; + trait NodeImpl { + def self : Node; + } + trait Link { + def from : NodeImpl; + } +} + +trait ScalaParserAutoEdit extends Parser { + type Node <: NodeImpl; + implicit def coerce(node : NodeImpl) = node.self; + trait NodeImpl extends super[Parser].NodeImpl { + def self : Node; + def foo = { + var link : Link = null; + val xxx : NodeImpl = coerce(link.from); + val yyy : NodeImpl = link.from; + } + } +} |