Merge pull request #12387 from dotty-staging/fix-12384

Allow for ranges in parameters of mapped lambda types

Author: liufengyun

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -5650,7 +5650,12 @@ object Types {
         case Range(lo, hi) =>
           range(derivedLambdaType(tp)(formals, lo), derivedLambdaType(tp)(formals, hi))
         case _ =>
-          tp.derivedLambdaType(tp.paramNames, formals, restpe)
+          if formals.exists(isRange) then
+            range(
+              derivedLambdaType(tp)(formals.map(upper(_).asInstanceOf[tp.PInfo]), restpe),
+              derivedLambdaType(tp)(formals.map(lower(_).asInstanceOf[tp.PInfo]), restpe))
+          else
+            tp.derivedLambdaType(tp.paramNames, formals, restpe)
       }
 
     protected def reapply(tp: Type): Type = apply(tp)

tests/neg/i12384.scala

@@ -0,0 +1,8 @@
+object Nats {
+  trait Fold {
+    trait Nat
+  }
+  type Inc = Fold {
+    type Apply[N <: Nat] = Succ // error
+  }
+}