diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-26 14:48:38 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-30 09:51:04 +0200 |
commit | 78545bbca89bafbee31fc5e4d9818e3173fb7131 (patch) | |
tree | f9e847b46648e57e6757b84878d16e3179bd5f34 /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | f8aa4b3b56bae1cb0bf0f94a2f2b80b4443aa447 (diff) | |
download | dotty-78545bbca89bafbee31fc5e4d9818e3173fb7131.tar.gz dotty-78545bbca89bafbee31fc5e4d9818e3173fb7131.tar.bz2 dotty-78545bbca89bafbee31fc5e4d9818e3173fb7131.zip |
Add ApproximatingTypeMap class
Also: In a TypeMap, the variance of the prefix is unchanged
(was: always 0). This brings it in line with TypeAccumulator
and the subtyping rules.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
0 files changed, 0 insertions, 0 deletions