Inline RefinedType.NoRefinedType at its unique use site.

sjrd · sjrd · commit 67fac71cc04a · 2025-01-05T12:26:38.000+01:00
The other code paths in the method have to allocate a `RefinedType`
anyway, so there was no strong reason to avoid the allocation there.
diff --git a/linker/shared/src/main/scala/org/scalajs/linker/frontend/optimizer/OptimizerCore.scala b/linker/shared/src/main/scala/org/scalajs/linker/frontend/optimizer/OptimizerCore.scala
@@ -384,7 +384,7 @@ private[optimizer] abstract class OptimizerCore(
              * `Return`s we produce in order to decide whether we can remove
              * the `Labeled`.
              */
-            info.returnedTreeTypes.value ::= RefinedType.NoRefinedType
+            info.returnedTreeTypes.value ::= RefinedType(VoidType)
             Return(newExpr, newLabel)
           }
         } else if (!info.acceptRecords) {
@@ -5758,8 +5758,6 @@ private[optimizer] object OptimizerCore {
       }
       RefinedType(tpe, isExact)
     }
-
-    val NoRefinedType = RefinedType(VoidType)
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -384,7 +384,7 @@ private[optimizer] abstract class OptimizerCore(`
`384`	`384`	* `Return`s we produce in order to decide whether we can remove
`385`	`385`	* the `Labeled`.
`386`	`386`	`*/`
`387`		`- info.returnedTreeTypes.value ::= RefinedType.NoRefinedType`
	`387`	`+ info.returnedTreeTypes.value ::= RefinedType(VoidType)`
`388`	`388`	`Return(newExpr, newLabel)`
`389`	`389`	`}`
`390`	`390`	`} else if (!info.acceptRecords) {`
`@@ -5758,8 +5758,6 @@ private[optimizer] object OptimizerCore {`
`5758`	`5758`	`}`
`5759`	`5759`	`RefinedType(tpe, isExact)`
`5760`	`5760`	`}`
`5761`		`-`
`5762`		`- val NoRefinedType = RefinedType(VoidType)`
`5763`	`5761`	`}`
`5764`	`5762`
`5765`	`5763`	`/**`