diff options
author | Martin Odersky <odersky@gmail.com> | 2012-12-25 14:04:58 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-12-25 14:04:58 +0100 |
commit | f1550a1a132a7a97d461afce1ea79453d78be5ea (patch) | |
tree | e9ec149e7ff6b2cf3e1cad3f29cb9febfc207459 /src/dotty/tools/dotc/core/Types.scala | |
parent | bca5fe2d51d98fb97646c2a7217a5c60548b08ab (diff) | |
download | dotty-f1550a1a132a7a97d461afce1ea79453d78be5ea.tar.gz dotty-f1550a1a132a7a97d461afce1ea79453d78be5ea.tar.bz2 dotty-f1550a1a132a7a97d461afce1ea79453d78be5ea.zip |
Small additions and fixes to subtyping logic
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions