Merge pull request #13229 from mario-bucev/etaexpansion-extractor

bishabosha · web-flow · commit 2191757a2b4b · 2021-08-02T00:46:07.000+02:00
Employ frozen_&lt;:&lt; instead of &lt;:&lt; within EtaExpansion extractor logic
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`