diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-11 19:59:04 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-21 18:02:09 +0100 |
| commit | 5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f (patch) | |
| tree | fb87b835ef95af91f5d9303d5f596285ac2b525b /src/dotty/tools/dotc/core/Definitions.scala | |
| parent | 4163b249428d1f27843ecc4e5b7c9c7dac0698dd (diff) | |
| download | dotty-5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f.tar.gz dotty-5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f.tar.bz2 dotty-5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f.zip | |
Make asSeenFrom idempotent
Let asSeenFrom generate a marker annotated type
for any unsafe instantiation. Then cleanup in
typedSelect.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index 5f794f2d5..609cce189 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -475,6 +475,8 @@ class Definitions { def UncheckedStableAnnot(implicit ctx: Context) = UncheckedStableAnnotType.symbol.asClass lazy val UncheckedVarianceAnnotType = ctx.requiredClassRef("scala.annotation.unchecked.uncheckedVariance") def UncheckedVarianceAnnot(implicit ctx: Context) = UncheckedVarianceAnnotType.symbol.asClass + lazy val UnsafeNonvariantAnnotType = ctx.requiredClassRef("dotty.annotation.internal.UnsafeNonvariant") + def UnsafeNonvariantAnnot(implicit ctx: Context) = UnsafeNonvariantAnnotType.symbol.asClass lazy val VolatileAnnotType = ctx.requiredClassRef("scala.volatile") def VolatileAnnot(implicit ctx: Context) = VolatileAnnotType.symbol.asClass lazy val FieldMetaAnnotType = ctx.requiredClassRef("scala.annotation.meta.field") |