Fix bug that HOAS argument types should be applied with widenTermRefExpr

zeptometer · zeptometer · commit 8d46eb0d4b5f · 2023-06-15T15:27:23.000+09:00
diff --git a/compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala b/compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala
@@ -499,7 +499,7 @@ object QuoteMatcher {
           case Block(List(DefDef(nme.ANON_FUN, _, _, Apply(Ident(name), _))), _) => name.asTermName
           case arg => arg.symbol.name.asTermName
         }
-        val paramTypes = argTypes.map(mapTypeHoles)
+        val paramTypes = argTypes.map(tpe => mapTypeHoles(tpe.widenTermRefExpr))
         val methTpe = MethodType(names)(_ => paramTypes, _ => mapTypeHoles(patternTpe))
         val meth = newAnonFun(ctx.owner, methTpe)
         def bodyFn(lambdaArgss: List[List[Tree]]): Tree = {

Original file line number	Diff line number	Diff line change
`@@ -499,7 +499,7 @@ object QuoteMatcher {`
`499`	`499`	`case Block(List(DefDef(nme.ANON_FUN, _, _, Apply(Ident(name), _))), _) => name.asTermName`
`500`	`500`	`case arg => arg.symbol.name.asTermName`
`501`	`501`	`}`
`502`		`- val paramTypes = argTypes.map(mapTypeHoles)`
	`502`	`+ val paramTypes = argTypes.map(tpe => mapTypeHoles(tpe.widenTermRefExpr))`
`503`	`503`	`val methTpe = MethodType(names)(_ => paramTypes, _ => mapTypeHoles(patternTpe))`
`504`	`504`	`val meth = newAnonFun(ctx.owner, methTpe)`
`505`	`505`	`def bodyFn(lambdaArgss: List[List[Tree]]): Tree = {`