diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-12-13 11:33:26 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-12-13 11:33:31 +0100 |
| commit | 179b9cc31552408c01928e1fca0e0af2a7453843 (patch) | |
| tree | a06a049da3c51a942a8c591d8a152866af411c28 /src/dotty/tools/dotc/TypeErasure.scala | |
| parent | 7cdf3d0dc5709634825b1300d77d1a0ef01c69fa (diff) | |
| download | dotty-179b9cc31552408c01928e1fca0e0af2a7453843.tar.gz dotty-179b9cc31552408c01928e1fca0e0af2a7453843.tar.bz2 dotty-179b9cc31552408c01928e1fca0e0af2a7453843.zip | |
Fix subtyping of null and refined types.
Diffstat (limited to 'src/dotty/tools/dotc/TypeErasure.scala')
0 files changed, 0 insertions, 0 deletions