Don't re-create methods in withoutErased if the method is not erased

natsukagami · natsukagami · commit 819d19303224 · 2022-12-20T13:53:52.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3923,7 +3923,7 @@ object Types {
         case _: ErasedMethodType => MethodType
         case _: ErasedContextualMethodType => ContextualMethodType
         case _: ErasedImplicitMethodType => ImplicitMethodType
-        case c => c
+        case c => return this
       }
       newCompanion(paramNames)(paramInfosExp, resultTypeExp)
 

Original file line number	Diff line number	Diff line change
`@@ -3923,7 +3923,7 @@ object Types {`
`3923`	`3923`	`case _: ErasedMethodType => MethodType`
`3924`	`3924`	`case _: ErasedContextualMethodType => ContextualMethodType`
`3925`	`3925`	`case _: ErasedImplicitMethodType => ImplicitMethodType`
`3926`		`- case c => c`
	`3926`	`+ case c => return this`
`3927`	`3927`	`}`
`3928`	`3928`	`newCompanion(paramNames)(paramInfosExp, resultTypeExp)`
`3929`	`3929`