diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-06 11:49:48 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-06 11:49:48 +0100 |
commit | d495cf9a0c24fb6ea63acb3e20f35b634814f1aa (patch) | |
tree | 74f400fef6380e5d9eb83ff78df4a29d6a619938 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | bdb0103d5196e3d64e9ea2d977058f49a78d749d (diff) | |
download | dotty-d495cf9a0c24fb6ea63acb3e20f35b634814f1aa.tar.gz dotty-d495cf9a0c24fb6ea63acb3e20f35b634814f1aa.tar.bz2 dotty-d495cf9a0c24fb6ea63acb3e20f35b634814f1aa.zip |
Relax isFullyDefined test
Previously, if forceDegree = noBottom, we failed the test if a type variable was minimized to Null or Nothing. Now we succeed and maximize the type variable instead. It seems Scala2x does soemthing similar, at least the change is needed to make PathResolvers.scala compile.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
0 files changed, 0 insertions, 0 deletions