diff options
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
-rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 906d17380..6360e080f 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -48,4 +48,7 @@ object Config { * variance of the underlying lambda class. */ final val checkLambdaVariance = false + + /** Check that certain types cannot be created in erasedTypes phases */ + final val checkUnerased = true }
\ No newline at end of file |