dotty.tools.dotc.typer.Nullables.NotNullInfo
See theNotNullInfo companion object
A set of val or var references that are known to be not null after the tree finishes executing normally (non-exceptionally), plus a set of variable references that are ever assigned to null, and may therefore be null if execution of the tree is interrupted by an exception.
Attributes
Companion
object
Graph
Reset zoom Hide graph Show graph
Supertypes
trait Matchable
class Any
Show all
Members list
The alternative path combination with another not-null info. Used to merge the nullability info of the branches of an if or match.
The alternative path combination with another not-null info. Used to merge the nullability info of the branches of an if or match.
Attributes
The sequential combination with another not-null info
The sequential combination with another not-null info
Attributes
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
Inherited from:
Product
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
Returns
in the default implementation, an Iterator[Any]
Inherited from:
Product
