diff options
author | Martin Odersky <odersky@gmail.com> | 2009-12-18 15:22:11 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-12-18 15:22:11 +0000 |
commit | 7ddabed25a5e559d660a9de53ddf2a3ddabf209c (patch) | |
tree | dfb1ca7a34efb815850175ad8659bb944340354d /test/files/neg | |
parent | 70ed6680a571b0ca0cae338b4af1fe965116ab61 (diff) | |
download | scala-7ddabed25a5e559d660a9de53ddf2a3ddabf209c.tar.gz scala-7ddabed25a5e559d660a9de53ddf2a3ddabf209c.tar.bz2 scala-7ddabed25a5e559d660a9de53ddf2a3ddabf209c.zip |
Closed #2801.
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t2801.check | 6 | ||||
-rw-r--r-- | test/files/neg/t2801.scala | 3 |
2 files changed, 9 insertions, 0 deletions
diff --git a/test/files/neg/t2801.check b/test/files/neg/t2801.check new file mode 100644 index 0000000000..25320de5bc --- /dev/null +++ b/test/files/neg/t2801.check @@ -0,0 +1,6 @@ +t2801.scala:2: error: type mismatch; + found : Null(null) + required: A + def f[A <: AnyRef] = { val a: A = null ; a } + ^ +one error found diff --git a/test/files/neg/t2801.scala b/test/files/neg/t2801.scala new file mode 100644 index 0000000000..d425f58b56 --- /dev/null +++ b/test/files/neg/t2801.scala @@ -0,0 +1,3 @@ +object Test { + def f[A <: AnyRef] = { val a: A = null ; a } +} |