diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-31 17:33:00 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-31 17:33:00 +0100 |
| commit | 1dea9916e686adc96df9d7886346af2ed1abe45f (patch) | |
| tree | e97b68171788ead972962bd17a59fd560296098d /src/dotty/tools/dotc/core/TypeErasure.scala | |
| parent | 01ae7ddfd4956660ed4897f5d2773587f845204c (diff) | |
| download | dotty-1dea9916e686adc96df9d7886346af2ed1abe45f.tar.gz dotty-1dea9916e686adc96df9d7886346af2ed1abe45f.tar.bz2 dotty-1dea9916e686adc96df9d7886346af2ed1abe45f.zip | |
Fix #1637: Future defs are always OK
Drop special mode that handles future defs without which we
get DenotationNotDefinedHere errors. In more than a year, this
has only turned up false negatives. So I think it's better to
drop the check, and the contortions needed to deal with it.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeErasure.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeErasure.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeErasure.scala b/src/dotty/tools/dotc/core/TypeErasure.scala index 254ea3277..abbacee49 100644 --- a/src/dotty/tools/dotc/core/TypeErasure.scala +++ b/src/dotty/tools/dotc/core/TypeErasure.scala @@ -107,7 +107,7 @@ object TypeErasure { /** The current context with a phase no later than erasure */ private def erasureCtx(implicit ctx: Context) = - if (ctx.erasedTypes) ctx.withPhase(ctx.erasurePhase).addMode(Mode.FutureDefsOK) else ctx + if (ctx.erasedTypes) ctx.withPhase(ctx.erasurePhase) else ctx /** The standard erasure of a Scala type. Value classes are erased as normal classes. * |