Handle Type

Like all type expressions, this expression produces a value of the type type.

Handle-typed values are wrappers around region-allocated values of the operand's type value.

Assertions

1. The operand is a value of the type type which is runtime representable.

Representation

A pointer type on the target platform, which points to the handle's region-allocated value.

Syntax

A handle type is produced by the & unary prefix applied to an expression; see the expression grammar.