NotNullInfo

dotty.tools.dotc.typer.Nullables$.NotNullInfo

See theNotNullInfo companion object

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

Attributes

Companion: object
Graph
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

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

In this article

Generated with