Refine same-kind criterion

odersky · odersky · commit 4905ba1ae9a0 · 2020-01-29T21:01:33.000+01:00
Need to take account of any-kinded type params
diff --git a/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala b/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala
@@ -534,7 +534,7 @@ trait ConstraintHandling[AbstractContext] {
         case _ =>
           val pbound = prune(bound)
           pbound.exists
-          && sameKind(param, pbound)
+          && (param.hasAnyKind || sameKind(param, pbound))
           && (if fromBelow then addLowerBound(param, pbound) else addUpperBound(param, pbound))
       }
       finally addConstraintInvocations -= 1

Original file line number	Diff line number	Diff line change
`@@ -534,7 +534,7 @@ trait ConstraintHandling[AbstractContext] {`
`534`	`534`	`case _ =>`
`535`	`535`	`val pbound = prune(bound)`
`536`	`536`	`pbound.exists`
`537`		`- && sameKind(param, pbound)`
	`537`	`+ && (param.hasAnyKind \|\| sameKind(param, pbound))`
`538`	`538`	`&& (if fromBelow then addLowerBound(param, pbound) else addUpperBound(param, pbound))`
`539`	`539`	`}`
`540`	`540`	`finally addConstraintInvocations -= 1`