diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-12 15:39:54 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-18 16:55:39 +0200 |
| commit | d355f8fe28218b1e8b984d6d491f02c414e922d5 (patch) | |
| tree | 0e6f9163b1c8a2b08508937f4868a016f5424b00 /compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | ab124cb8cda3ab65b0195f1a7f74006c24ebe7ab (diff) | |
| download | dotty-d355f8fe28218b1e8b984d6d491f02c414e922d5.tar.gz dotty-d355f8fe28218b1e8b984d6d491f02c414e922d5.tar.bz2 dotty-d355f8fe28218b1e8b984d6d491f02c414e922d5.zip | |
Dealias before type erasing
... and likewise for taking a signature. The previous case worked
in all cases except when faced with an alias like `type Id[T] = T`.
In that case, it would disregard the argument and erase to Object.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala')
0 files changed, 0 insertions, 0 deletions