Revert SafeNull Mode

HarrisL2 · HarrisL2 · commit 2e5999a8c265 · 2025-01-07T09:04:52.000-05:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1193,8 +1193,7 @@ object Types extends TypeUtils {
      */
     def matches(that: Type)(using Context): Boolean = {
       record("matches")
-      withoutMode(Mode.SafeNulls)(
-        TypeComparer.matchesType(this, that, relaxed = !ctx.phase.erasedTypes))
+      TypeComparer.matchesType(this, that, relaxed = !ctx.phase.erasedTypes)
     }
 
     /** This is the same as `matches` except that it also matches => T with T and

Original file line number	Diff line number	Diff line change
`@@ -1193,8 +1193,7 @@ object Types extends TypeUtils {`
`1193`	`1193`	`*/`
`1194`	`1194`	`def matches(that: Type)(using Context): Boolean = {`
`1195`	`1195`	`record("matches")`
`1196`		`- withoutMode(Mode.SafeNulls)(`
`1197`		`- TypeComparer.matchesType(this, that, relaxed = !ctx.phase.erasedTypes))`
	`1196`	`+ TypeComparer.matchesType(this, that, relaxed = !ctx.phase.erasedTypes)`
`1198`	`1197`	`}`
`1199`	`1198`
`1200`	`1199`	/** This is the same as `matches` except that it also matches => T with T and