iii.4.22-refanytype.md

III.4.22 refanytype – load the type out of a typed reference

Format	Assembly Format	Description
FE 1D	refanytype	Push the type token stored in a typed reference.

Stack Transition:

…, TypedRef → …, type

Description:

Retrieves the type token embedded in TypedRef. See the mkrefany instruction.

Exceptions:

None.

Correctness:

Correct CIL ensures that TypedRef is a valid typed reference (created by a previous call to mkrefany).

Verifiability:

The refanytype instruction is always verifiable.