---

1

Actually, we defer description to alias variable patterns until Section ??, in the context of a discussion on Cyclone's non-aliasable pointers.

2

The following discussion is not quite correct when allocating into the unique or reference-counted region; this will be described in Section 8.4.5118Polymorphismsubsubsection.8.4.5.