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 /tests/pos-special | |
| 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 'tests/pos-special')
0 files changed, 0 insertions, 0 deletions