5.5.1 Let-coercion
Note
This section describes the implementation of MS-VBAL §5.5.1 Let-coercion.
Let-coercion is the implicit conversion applied to an operand, or to an assignment RHS, so that its value fits a required destination declared type. Its run-time semantics are specified in RD-VBAL §5.5.1.2 Runtime semantics.
🧩 An explicit coercion operator
(BinaryLetCoerceOperatorStaticSemantics),
introduced for semantic disambiguation, is a language core extension
(RD-VBAL §1.1.2 Language Core Extensions). See
RD-VBAL §3.3.1 Unary Operators for the "__c()_op" explicit let-coercion
operator.
In this section
| § | Title | MS-VBAL |
|---|---|---|
| 5.5.1.1 | Static semantics — reserved | §5.5.1.1 |
| 5.5.1.2 | Runtime semantics | §5.5.1.2 |
⏮️ RD-VBAL §5.5 Implicit coercion | ⏭️ RD-VBAL §5.5.1.1 Static semantics