Employ frozen_<:< instead of <:< within EtaExpansion extractor logic

mario-bucev · mario-bucev · commit 225e03aeebf0 · 2021-08-01T16:29:09.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeApplications.scala b/compiler/src/dotty/tools/dotc/core/TypeApplications.scala
@@ -53,7 +53,7 @@ object TypeApplications {
       || {
         val paramRefs = tparams.map(_.paramRef)
         tp.typeParams.corresponds(tparams) { (param1, param2) =>
-          param2.paramInfo <:< param1.paramInfo.substParams(tp, paramRefs)
+          param2.paramInfo frozen_<:< param1.paramInfo.substParams(tp, paramRefs)
         }
       }
 

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ object TypeApplications {`
`53`	`53`	`\|\| {`
`54`	`54`	`val paramRefs = tparams.map(_.paramRef)`
`55`	`55`	`tp.typeParams.corresponds(tparams) { (param1, param2) =>`
`56`		`- param2.paramInfo <:< param1.paramInfo.substParams(tp, paramRefs)`
	`56`	`+ param2.paramInfo frozen_<:< param1.paramInfo.substParams(tp, paramRefs)`
`57`	`57`	`}`
`58`	`58`	`}`
`59`	`59`