Fix typo in TypeComparer

natsukagami · natsukagami · commit 292103a1a962 · 2022-12-12T18:14:56.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2118,7 +2118,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         formals2.isEmpty
     }
     // Check if methods are erased, then the erased parameters match
-    val erasedValid = if tp1.isErasedMethod && tp1.isErasedMethod then
+    val erasedValid = if tp1.isErasedMethod && tp2.isErasedMethod then
                         val comp1 = tp1.companion.asInstanceOf[ErasedMethodCompanion]
                         val comp2 = tp2.companion.asInstanceOf[ErasedMethodCompanion]
                         comp1.isErased == comp2.isErased

Original file line number	Diff line number	Diff line change
`@@ -2118,7 +2118,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling`
`2118`	`2118`	`formals2.isEmpty`
`2119`	`2119`	`}`
`2120`	`2120`	`// Check if methods are erased, then the erased parameters match`
`2121`		`- val erasedValid = if tp1.isErasedMethod && tp1.isErasedMethod then`
	`2121`	`+ val erasedValid = if tp1.isErasedMethod && tp2.isErasedMethod then`
`2122`	`2122`	`val comp1 = tp1.companion.asInstanceOf[ErasedMethodCompanion]`
`2123`	`2123`	`val comp2 = tp2.companion.asInstanceOf[ErasedMethodCompanion]`
`2124`	`2124`	`comp1.isErased == comp2.isErased`