diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-23 06:13:31 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-23 06:13:31 +0000 |
commit | 8ba9b511c2b11d0514013bb1e18cbc8a7b9e5f5c (patch) | |
tree | 0aaa38ebc8e9d7a7c6066db60b0dd9f1e13f390d /test/files/pos/bug762.scala | |
parent | 21115422de226f874c73bbfed1a31904432c6e8d (diff) | |
download | scala-8ba9b511c2b11d0514013bb1e18cbc8a7b9e5f5c.tar.gz scala-8ba9b511c2b11d0514013bb1e18cbc8a7b9e5f5c.tar.bz2 scala-8ba9b511c2b11d0514013bb1e18cbc8a7b9e5f5c.zip |
Notice when erasure is trying to cast something...
Notice when erasure is trying to cast something to Unit, and don't
do it. I'm not sure at what prior point such things should have been
caught, but for now we can have a sanity check. Closes #4731, review by
odersky.
Diffstat (limited to 'test/files/pos/bug762.scala')
0 files changed, 0 insertions, 0 deletions