diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-11 14:10:46 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-12 10:52:17 +0200 |
commit | ce826ee7dd9beed775a614549b412df68f13fcac (patch) | |
tree | c8efdc8dd3da780bf01b02044552698b91d3911c /test | |
parent | 3c6cf3936228fc317b90ffca8b5d9dda2883e508 (diff) | |
download | dotty-ce826ee7dd9beed775a614549b412df68f13fcac.tar.gz dotty-ce826ee7dd9beed775a614549b412df68f13fcac.tar.bz2 dotty-ce826ee7dd9beed775a614549b412df68f13fcac.zip |
Avoid generating Any in erasedLubs
... because Any is not an erasedType (this is now checked)
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions