diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-14 10:27:43 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-16 11:56:58 +0200 |
commit | 90aef309eaf72ab0c09494eb030c57789955bb21 (patch) | |
tree | df3b29d9f0e3d527ff49761f905737424896040d /src/dotty/tools/dotc/typer/Typer.scala | |
parent | 7d414eb69b28fa0f6855168aa7afe43a75b3f23e (diff) | |
download | dotty-90aef309eaf72ab0c09494eb030c57789955bb21.tar.gz dotty-90aef309eaf72ab0c09494eb030c57789955bb21.tar.bz2 dotty-90aef309eaf72ab0c09494eb030c57789955bb21.zip |
Moved -Ycheck after Splitter
This required a change in Ycheck where we now only test that the new tree has a subtype of the old
one. Previously the requirement was "same type" but this caused "sigs.scala" to fail because
a new tree had a constant Int type where the old tree had just Int as the type. It's hard to guard
against these narrowings and they look harmless.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
0 files changed, 0 insertions, 0 deletions