diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-22 11:01:52 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-22 11:01:52 +0100 |
commit | 9d8e473739ed4f5618d55738475717872453018a (patch) | |
tree | 055b8ae728fea6c7a499b0b111a567665b4246a3 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
parent | 7c40b03aa9210dc1989cc08c0f03f7d4dd4e9e47 (diff) | |
download | dotty-9d8e473739ed4f5618d55738475717872453018a.tar.gz dotty-9d8e473739ed4f5618d55738475717872453018a.tar.bz2 dotty-9d8e473739ed4f5618d55738475717872453018a.zip |
Handle subtyping cases involving null.
Cases handled are:
Null <: (A & B) { ... }
Null <: (A | B) { ... }
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
0 files changed, 0 insertions, 0 deletions