Space: Initialise caches with null

dwijnand · dwijnand · commit daef636b9431 · 2023-02-22T11:36:24.000Z
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -72,7 +72,7 @@ sealed trait Space:
       isSubspaceCache.getOrElseUpdate(b, computeIsSubspace(a, b))
     }
 
-  @sharable private var mySimplified: Space | Null = _
+  @sharable private var mySimplified: Space | Null = null
 
   def simplify(using Context): Space =
     val simplified = mySimplified
@@ -93,7 +93,7 @@ case object Empty extends Space
  *
  */
 case class Typ(tp: Type, decomposed: Boolean = true) extends Space:
-  private var myDecompose: List[Typ] | Null = _
+  private var myDecompose: List[Typ] | Null = null
 
   def canDecompose(using Context): Boolean = decompose != SpaceEngine.ListOfTypNoType
 

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ sealed trait Space:`
`72`	`72`	`isSubspaceCache.getOrElseUpdate(b, computeIsSubspace(a, b))`
`73`	`73`	`}`
`74`	`74`
`75`		`- @sharable private var mySimplified: Space \| Null = _`
	`75`	`+ @sharable private var mySimplified: Space \| Null = null`
`76`	`76`
`77`	`77`	`def simplify(using Context): Space =`
`78`	`78`	`val simplified = mySimplified`
`@@ -93,7 +93,7 @@ case object Empty extends Space`
`93`	`93`	`*`
`94`	`94`	`*/`
`95`	`95`	`case class Typ(tp: Type, decomposed: Boolean = true) extends Space:`
`96`		`- private var myDecompose: List[Typ] \| Null = _`
	`96`	`+ private var myDecompose: List[Typ] \| Null = null`
`97`	`97`
`98`	`98`	`def canDecompose(using Context): Boolean = decompose != SpaceEngine.ListOfTypNoType`
`99`	`99`