Skip to content

Commit 20ffb87

Browse files
committed
Fix HK quoted pattern type variables
The issue was in the encoding into `{ExprMatchModule,TypeMatchModule}.unapply`. Specifically with the `TypeBindings` argument. This arguments holds the list of type variable definitions (`tpd.Bind` trees). We used a `Tuple` to list all the types inside. The problem is that higher-kinded type variables do not conform with the upper bounds of the tuple elements. The solution is to use an HList with any-kinded elements.
1 parent b0dd16b commit 20ffb87

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -66,6 +66,9 @@ val experimentalDefinitionInLibrary = Set(
6666
"scala.annotation.MacroAnnotation",
6767

6868
//// New APIs: Quotes
69+
// Can be stabilized in 3.4.0
70+
"scala.quoted.runtime.QuoteMatching",
71+
"scala.quoted.runtime.QuoteMatching$",
6972
// Can be stabilized in 3.3.0 (unsure) or later
7073
"scala.quoted.Quotes.reflectModule.CompilationInfoModule.XmacroSettings",
7174
"scala.quoted.Quotes.reflectModule.FlagsModule.JavaAnnotation",

0 commit comments

Comments
 (0)