diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-01 21:29:20 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-11 19:21:02 +0200 |
| commit | f6291e42082708e164ebc3456d84e69f4f29cf59 (patch) | |
| tree | ff3fa65c359d289c2b76e9a634031ed0274b4978 /src/dotty/tools/dotc/config/Config.scala | |
| parent | bc791ed3390e954b7338594b771ad09c5150d591 (diff) | |
| download | dotty-f6291e42082708e164ebc3456d84e69f4f29cf59.tar.gz dotty-f6291e42082708e164ebc3456d84e69f4f29cf59.tar.bz2 dotty-f6291e42082708e164ebc3456d84e69f4f29cf59.zip | |
Change default of unsafe Config option
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index c188bfab4..7744a5479 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -87,8 +87,12 @@ object Config { */ final val checkLambdaVariance = false - /** Check that certain types cannot be created in erasedTypes phases */ - final val checkUnerased = true + /** Check that certain types cannot be created in erasedTypes phases. + * Note: Turning this option on will get some false negatives, since it is + * possible that And/Or types are still created during erasure as the result + * of some operation on an existing type. + */ + final val checkUnerased = false /** In `derivedSelect`, rewrite * |