ref.null

← ref dialect

Create an independent null handle of the declared ref or ptr type. No payload is allocated or retained. An owning ref still has its own explicit lifetime and must be released or transferred on every normal path; releasing null has no payload effect.

Operation contract

Property	Value
Semantic phase	executable
Traits	UniqueIdentity

Signature

Kind	Name	Type	Cardinality	Description
Result	result	managed_reference	required	—

Examples

%empty = ref.null : ref<@Frame>

%missing = ref.null : ptr<@Frame>