We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c831128 commit 67e5781Copy full SHA for 67e5781
compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -542,7 +542,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
542
543
val childTp = if (child.isTerm) child.termRef else child.typeRef
544
545
- val resTp = instantiate(childTp, parent)(ctx.fresh.setNewTyperState)
+ val resTp = instantiate(childTp, parent)(ctx.fresh.setNewTyperState())
546
547
if (!resTp.exists) {
548
debug.println(s"[refine] unqualified child ousted: ${childTp.show} !< ${parent.show}")
0 commit comments