diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-08 11:56:42 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-08 11:56:42 +0100 |
| commit | 0bc9f680af7670985ff10b1e5fa472655745c90b (patch) | |
| tree | 19a7928750f33494d1d07cdb7acb546085032a1d /src/dotty/tools/dotc/core/NameOps.scala | |
| parent | 979ff5e0dbffc66fd008be0544690dbd194fe066 (diff) | |
| download | dotty-0bc9f680af7670985ff10b1e5fa472655745c90b.tar.gz dotty-0bc9f680af7670985ff10b1e5fa472655745c90b.tar.bz2 dotty-0bc9f680af7670985ff10b1e5fa472655745c90b.zip | |
Remove choice between new and old scheme for subtyping refined types.
Now that new scheme works we can drop the alternative.
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
0 files changed, 0 insertions, 0 deletions