Nothing wrong with generalizing

Blaisorblade · Blaisorblade · commit 80db2a9703e8 · 2018-08-12T16:40:31.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -654,7 +654,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
    *  Otherwise, return NoType.
    *
    */
-  def instantiate(tp1: NamedType, tp2: Type)(implicit ctx: Context): Type = {
+  def instantiate(tp1: Type, tp2: Type)(implicit ctx: Context): Type = {
     // Fix subtype checking for child instantiation,
     // such that `Foo(Test.this.foo) <:< Foo(Foo.this)`
     // See tests/patmat/i3938.scala

Original file line number	Diff line number	Diff line change
`@@ -654,7 +654,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {`
`654`	`654`	`* Otherwise, return NoType.`
`655`	`655`	`*`
`656`	`656`	`*/`
`657`		`- def instantiate(tp1: NamedType, tp2: Type)(implicit ctx: Context): Type = {`
	`657`	`+ def instantiate(tp1: Type, tp2: Type)(implicit ctx: Context): Type = {`
`658`	`658`	`// Fix subtype checking for child instantiation,`
`659`	`659`	// such that `Foo(Test.this.foo) <:< Foo(Foo.this)`
`660`	`660`	`// See tests/patmat/i3938.scala`