diff options
Diffstat (limited to 'src/dotty/annotation/internal/UnsafeNonvariant.scala')
-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 |