diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-04 12:03:09 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-04 12:03:15 +0100 |
| commit | 7d1d93e95113802bee77b9d2b89475a56be46bf7 (patch) | |
| tree | 994d5cf39aa3ab813d5b13f4b36bce2c8fcdda6c /src/dotty/tools/dotc/core/Types.scala | |
| parent | 93dd1cf1fdbf56ca3c153aa5a25fb4c48782acf5 (diff) | |
| download | dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.tar.gz dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.tar.bz2 dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.zip | |
Push `|' into corresponding RefinedTypes in approximateUnion
This gives in general a supertype, that's OK for approximation.
See ee76fda for an explanation.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions