diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-09-13 18:12:15 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:12:28 +0200 |
| commit | 84bc770bb7bcac2fe09a13c62c24aac1e3fda582 (patch) | |
| tree | 9b69b8bc96193e14df75468f2df4e2c50ff7ccc5 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 65551d19b5d928f231426c016e561051d68d9c97 (diff) | |
| download | dotty-84bc770bb7bcac2fe09a13c62c24aac1e3fda582.tar.gz dotty-84bc770bb7bcac2fe09a13c62c24aac1e3fda582.tar.bz2 dotty-84bc770bb7bcac2fe09a13c62c24aac1e3fda582.zip | |
Drop annotations from dealias
We got an error when we tried t opur @inline annotations
on function parameter types. It turned out that there were
lots of places where annotations on a type would break a test
in the compiler.
So we now drop annotations by default when dealiasing. We provide
dealiasKeepAnnots as an alternative that has the old behavior, i.e.
rewrap annotations after dealiasing. The only place where we found we
needed this was in the exhaustivity checker.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
0 files changed, 0 insertions, 0 deletions