NotNullInfo

case class NotNullInfo(asserted: Set[TermRef], retracted: Set[TermRef])

A set of val or var references that are known to be not null, plus a set of variable references that are not known (anymore) to be not null

trait Matchable

class Any

Value members

The alternative path combination with another not-null info. Used to merge the nullability info of the two branches of an if.

The sequential combination with another not-null info