diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Mode.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Mode.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Mode.scala b/src/dotty/tools/dotc/core/Mode.scala index 0e188ace2..3e9b7effe 100644 --- a/src/dotty/tools/dotc/core/Mode.scala +++ b/src/dotty/tools/dotc/core/Mode.scala @@ -84,5 +84,10 @@ object Mode { /** Use Scala2 scheme for overloading and implicit resolution */ val OldOverloadingResolution = newMode(14, "OldOverloadingResolution") + /** Allow hk applications of type lambdas to wildcard arguments; + * used for checking that such applications do not normally arise + */ + val AllowLambdaWildcardApply = newMode(15, "AllowHKApplyToWildcards") + val PatternOrType = Pattern | Type } |