diff options
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
-rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 97893647c..d66d1ecdb 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -71,6 +71,11 @@ object Config { /** If this flag is set, take the fast path when comparing same-named type-aliases and types */ final val fastPathForRefinedSubtype = true + /** If this flag is set, $apply projections are checked that they apply to a + * higher-kinded type. + */ + final val checkProjections = false + /** When set, use new signature-based matching. * Advantage of doing so: It's supposed to be faster * Disadvantage: It might hide inconsistencies, so while debugging it's better to turn it off |