diff options
author | Martin Odersky <odersky@gmail.com> | 2016-05-20 16:35:51 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 12:01:40 +0200 |
commit | 1bce89efb9ccb3d58c72a89440d6096de2c6e646 (patch) | |
tree | 7ad92492601076f1347bcdf38daa3524707a3ad6 /tests/pos-scala2/i871.scala | |
parent | f99d3fb1ed3de8390d444d5ee71ce1330a4f92f1 (diff) | |
download | dotty-1bce89efb9ccb3d58c72a89440d6096de2c6e646.tar.gz dotty-1bce89efb9ccb3d58c72a89440d6096de2c6e646.tar.bz2 dotty-1bce89efb9ccb3d58c72a89440d6096de2c6e646.zip |
Fix withPhaseNoLater
It's possible that the given phase argument does not exist, in which case
we do not want to set the current phase to NoPhase.
Diffstat (limited to 'tests/pos-scala2/i871.scala')
0 files changed, 0 insertions, 0 deletions