diff options
Diffstat (limited to 'src/dotty/tools/dotc/config/Config.scala')
-rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 796a2e693..3cc3091b5 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -77,13 +77,6 @@ object Config { */ final val checkProjections = false - /** If this flag is set, it is checked that &/| only apply to types - * that are either both hk types or both * types. Should be used - * only for debugging as the assertion may be violated by Implicits.liftToClasses, - * which can produce an And over a generic class without arguments. - */ - final val checkKinds = false - /** The recursion depth for showing a summarized string */ final val summarizeDepth = 2 |