diff options
author | Martin Odersky <odersky@gmail.com> | 2006-07-25 10:48:39 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-07-25 10:48:39 +0000 |
commit | 982fab6e30a29c98e88ff7b817dc0959a136ebb3 (patch) | |
tree | aef1912f39a66692d8a75795da7e711f47cd2fdc /test/files/neg/bug663.scala | |
parent | e44c3c3606f4be84451f95d2009a1628b4250ea0 (diff) | |
download | scala-982fab6e30a29c98e88ff7b817dc0959a136ebb3.tar.gz scala-982fab6e30a29c98e88ff7b817dc0959a136ebb3.tar.bz2 scala-982fab6e30a29c98e88ff7b817dc0959a136ebb3.zip |
added tests for bugs 663, 667
Diffstat (limited to 'test/files/neg/bug663.scala')
-rwxr-xr-x | test/files/neg/bug663.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/files/neg/bug663.scala b/test/files/neg/bug663.scala new file mode 100755 index 0000000000..797c4a300d --- /dev/null +++ b/test/files/neg/bug663.scala @@ -0,0 +1,18 @@ +package test; +trait Test { + type Matchable <: Node with MatchableImpl; + trait MatchableImpl extends NodeImpl { + def asMatch(node : Matchable) : Any; + } + type Node <: NodeImpl; + trait NodeImpl; + trait CoreIfImpl extends MatchableImpl { + // NO_CRASH: def asMatch(m : Matchable) = { + def asMatch(m : Node) : Any = { + if (m.isInstanceOf[MatchableImpl]) { + null; + } else null; + // NO_CRASH: null; + } + } +} |