diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-02-14 11:45:11 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-02-14 11:45:11 +0100 |
| commit | e1d53f03dc2d59e72fffde86919cac5462e7fd36 (patch) | |
| tree | ab33177bf7af6fd8fb9b8b59d527705b793f8c0d /src/dotty/tools/dotc/core/Types.scala | |
| parent | c4bed34b009ffc54b1eac10ee75fba27040f1533 (diff) | |
| download | dotty-e1d53f03dc2d59e72fffde86919cac5462e7fd36.tar.gz dotty-e1d53f03dc2d59e72fffde86919cac5462e7fd36.tar.bz2 dotty-e1d53f03dc2d59e72fffde86919cac5462e7fd36.zip | |
Streamlined treatment of ThisType in subtype checks.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions