don't widen in admitsNull

olhotak · olhotak · commit 31afb35b2853 · 2025-06-06T20:48:09.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/core/NullOpsDecorator.scala b/compiler/src/dotty/tools/dotc/core/NullOpsDecorator.scala
@@ -52,8 +52,7 @@ object NullOpsDecorator:
     }
 
     def admitsNull(using Context): Boolean = {
-      val widened = self.widenDealias
-      widened.isNullType || widened.isAny || (widened match
+      self.isNullType || self.isAny || (self match
         case OrType(l, r) => r.admitsNull || l.admitsNull
         case AndType(l, r) => r.admitsNull && l.admitsNull
         case TypeBounds(lo, hi) => lo.admitsNull

Original file line number	Diff line number	Diff line change
`@@ -52,8 +52,7 @@ object NullOpsDecorator:`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`def admitsNull(using Context): Boolean = {`
`55`		`- val widened = self.widenDealias`
`56`		`- widened.isNullType \|\| widened.isAny \|\| (widened match`
	`55`	`+ self.isNullType \|\| self.isAny \|\| (self match`
`57`	`56`	`case OrType(l, r) => r.admitsNull \|\| l.admitsNull`
`58`	`57`	`case AndType(l, r) => r.admitsNull && l.admitsNull`
`59`	`58`	`case TypeBounds(lo, hi) => lo.admitsNull`