diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-15 14:05:46 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-15 17:51:23 +0100 |
commit | ee76fda79d446a2d6db51cb4af032a8e92936013 (patch) | |
tree | 38e6b3d67b66c66344a4d919a35d1693c71601ee /test/dotc/tests.scala | |
parent | 300992407ca0e03eeda93cbb1a34ebc5907586b5 (diff) | |
download | dotty-ee76fda79d446a2d6db51cb4af032a8e92936013.tar.gz dotty-ee76fda79d446a2d6db51cb4af032a8e92936013.tar.bz2 dotty-ee76fda79d446a2d6db51cb4af032a8e92936013.zip |
Dont push `|' inside refined types.
As the comment explains, this is not sound.
Diffstat (limited to 'test/dotc/tests.scala')
0 files changed, 0 insertions, 0 deletions