@@ -142,7 +142,7 @@ object Matcher {
142
142
fn1 =#= fn2 && args1 =##= args2
143
143
144
144
case (Block (stats1, expr1), Block (binding :: stats2, expr2)) if isTypeBinding(binding) =>
145
- reflection .kernel.Context_GADT_addToConstraint (the[Context ])(binding.symbol :: Nil )
145
+ qctx.tasty .kernel.Context_GADT_addToConstraint (the[Context ])(binding.symbol :: Nil )
146
146
matched(new SymBinding (binding.symbol)) && Block (stats1, expr1) =#= Block (stats2, expr2)
147
147
148
148
case (Block (stat1 :: stats1, expr1), Block (stat2 :: stats2, expr2)) =>
@@ -152,7 +152,7 @@ object Matcher {
152
152
153
153
case (scrutinee, Block (typeBindings, expr2)) if typeBindings.forall(isTypeBinding) =>
154
154
val bindingSymbols = typeBindings.map(_.symbol)
155
- reflection .kernel.Context_GADT_addToConstraint (the[Context ])(bindingSymbols)
155
+ qctx.tasty .kernel.Context_GADT_addToConstraint (the[Context ])(bindingSymbols)
156
156
bindingSymbols.foldRight(scrutinee =#= expr2)((x, acc) => matched(new SymBinding (x)) && acc)
157
157
158
158
case (If (cond1, thenp1, elsep1), If (cond2, thenp2, elsep2)) =>
@@ -336,7 +336,7 @@ object Matcher {
336
336
337
337
val res = {
338
338
if (hasTypeSplices) {
339
- implicit val ctx : Context = reflection .kernel.Context_GADT_setFreshGADTBounds (rootContext)
339
+ implicit val ctx : Context = qctx.tasty .kernel.Context_GADT_setFreshGADTBounds (rootContext)
340
340
val matchings = scrutineeExpr.unseal.underlyingArgument =#= patternExpr.unseal.underlyingArgument
341
341
// After matching and doing all subtype check, we have to aproximate all the type bindings
342
342
// that we have found and seal them in a quoted.Type
0 commit comments