Ref
scala.scalanative.nir.Type.Ref
The type of a reference.
Attributes
- Graph
-
- Supertypes
Members list
Value members
Inherited methods
The identifier of the class corresponding to this type.
Attributes
- Inherited from:
- Type
true iff the referenced type is exactly the type denoted by this.
true iff the referenced type is exactly the type denoted by this.
Given an instance r of RefKind denoting a reference to some time T, r.isExact holds iff the referenced type is exactly T and not a subtype thereof. The optimizer may be able to compute the exact variant of an arbitrary reference after it has replaced a virtual call.
Attributes
- Inherited from:
- RefKind
true iff instances of this type are nullable.
The mangled representation of this.
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
In this article