diff options
author | Martin Odersky <odersky@gmail.com> | 2015-08-05 12:26:07 -0700 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-08-05 12:27:01 -0700 |
commit | 2a306ddcfe78589310d462bbf67fb893ce8702aa (patch) | |
tree | 6aaeb10c584d3ef08350aec81ccc2505799651de /tests/run/liftedTry.scala | |
parent | c8afd79b4c7f145ba090a2d936d627c3ab35b1c2 (diff) | |
download | dotty-2a306ddcfe78589310d462bbf67fb893ce8702aa.tar.gz dotty-2a306ddcfe78589310d462bbf67fb893ce8702aa.tar.bz2 dotty-2a306ddcfe78589310d462bbf67fb893ce8702aa.zip |
Make ensureConforms behave gracefully fter erasure
After erasure, if required conformance is between value and non-value types,
one should perform boxing and unboxing operations automatically, instead of
just issuing a cast, which would be illegal at that point.
Also: make isNonLocalReturn available as part of a global object, because
we'll need it in LiftTry.
Diffstat (limited to 'tests/run/liftedTry.scala')
0 files changed, 0 insertions, 0 deletions