tmp

abgruszecki · abgruszecki · commit ff80308b53e7 · 2019-01-14T19:25:02.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -584,7 +584,7 @@ class Typer extends Namer
       def handlePattern: Tree = {
         val tpt1 = typedTpt
         if (!ctx.isAfterTyper && pt != defn.ImplicitScrutineeTypeRef)
-          constrainPatternType(tpt1.tpe, pt)(ctx.addMode(Mode.GADTflexible))
+          constrainPatternType(SkolemType(tpt1.tpe), pt)(ctx.addMode(Mode.GADTflexible))
         // special case for an abstract type that comes with a class tag
         tryWithClassTag(ascription(tpt1, isWildcard = true), pt)
       }

Original file line number	Diff line number	Diff line change
`@@ -584,7 +584,7 @@ class Typer extends Namer`
`584`	`584`	`def handlePattern: Tree = {`
`585`	`585`	`val tpt1 = typedTpt`
`586`	`586`	`if (!ctx.isAfterTyper && pt != defn.ImplicitScrutineeTypeRef)`
`587`		`- constrainPatternType(tpt1.tpe, pt)(ctx.addMode(Mode.GADTflexible))`
	`587`	`+ constrainPatternType(SkolemType(tpt1.tpe), pt)(ctx.addMode(Mode.GADTflexible))`
`588`	`588`	`// special case for an abstract type that comes with a class tag`
`589`	`589`	`tryWithClassTag(ascription(tpt1, isWildcard = true), pt)`
`590`	`590`	`}`