5.5.1.2.12 Let-coercion to Variant

The semantics of Variant Let-coercion depend on the source’s value type:

Source Value Type

Destination

Declared Type

Semantics

Any type except a class or Nothing

Variant

The result is a copy of the source value, Let-coerced to the destination declared type.