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
- Companion:
- object
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.