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 Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

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

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

Attributes

The sequential combination with another not-null info

The sequential combination with another not-null info

Attributes

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product