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/annotation | |
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/annotation')
-rw-r--r-- | src/dotty/annotation/internal/UnsafeNonvariant.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/dotty/annotation/internal/UnsafeNonvariant.scala b/src/dotty/annotation/internal/UnsafeNonvariant.scala new file mode 100644 index 000000000..43a0a114b --- /dev/null +++ b/src/dotty/annotation/internal/UnsafeNonvariant.scala @@ -0,0 +1,8 @@ +package dotty.annotation.internal + +import scala.annotation.Annotation + +/** This annotation is used as a marker for unsafe + * instantiations in asSeenFrom. See TypeOps.asSeenfrom for an explanation. + */ +class UnsafeNonvariant extends Annotation |