SpaceEngine

Abstract sealed types, or-types, Boolean and Java enums can be decomposed

Numeric literals, while being constant values of unrelated types (e.g. Char and Int), when used in a case may end up matching at runtime, because their equals may returns true. Because these are universally available, general purpose types, it would be good to avoid returning false positive warnings, such as in (c: Char) match { case 67 => ... } emitting a reachability warning on the case. So the type ConstantType(Constant(67, IntTag)) is converted to ConstantType(Constant(67, CharTag)). #12805

Whether the extractor covers the given type

Decompose a type into subspaces -- assume the type can be decomposed

Does the given tree stand for the literal null?

Is tp1 a subtype of tp2?

Adapt types by performing primitive value boxing. #12805

Return the space that represents the pattern pat

Space of the pattern: unapplySeq(a, b, c: _*)

Whether the counterexample is satisfiable. The space is flattened and non-empty.

Display spaces

Show friendly type name with current scope in mind

E.g. C.this.B --> B if current owner is C C.this.x.T --> x.T if current owner is C X[T] --> X C --> C if current owner is C !!!

Parameter types of the case class type tp. Adapted from unapplyPlan in patternMatcher

Remove a space if it's a subspace of remaining spaces

Note: dedup will return the same result if the sequence >= 10

Flatten space to get rid of Or for pretty print

Intersection of two spaces

Is a a subspace of b? Equivalent to a - b == Empty, but faster

The space of a not covered by b

Simplify space such that a space equal to Empty becomes Empty