diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-01 22:42:55 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-09 12:11:14 -0800 |
commit | 5d66c124e3703ea37997638091663ef1d4011d4d (patch) | |
tree | 032b703ec652d75dd5842c6b78ea2d8880868730 /src/reflect/scala/reflect/internal/Types.scala | |
parent | fb98b7041cc7b4ca63f5888c1131e72a5dcc8411 (diff) | |
download | scala-5d66c124e3703ea37997638091663ef1d4011d4d.tar.gz scala-5d66c124e3703ea37997638091663ef1d4011d4d.tar.bz2 scala-5d66c124e3703ea37997638091663ef1d4011d4d.zip |
Handle variance exclusions in a less ad hoc manner.
Diffstat (limited to 'src/reflect/scala/reflect/internal/Types.scala')
-rw-r--r-- | src/reflect/scala/reflect/internal/Types.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala index 020b8bb4cc..c88f2c8616 100644 --- a/src/reflect/scala/reflect/internal/Types.scala +++ b/src/reflect/scala/reflect/internal/Types.scala @@ -6991,6 +6991,10 @@ trait Types extends api.Types { self: SymbolTable => case _ => 1 } + + def withUncheckedVariance(tp: Type): Type = + tp withAnnotation (AnnotationInfo marker uncheckedVarianceClass.tpe) + //OPT replaced with tailrecursive function to save on #closures // was: // var d = 0 |