Checked. Goes through an or clause, which yields a reference as writable as the pointer (18.37). The second half — “&T → ^T stays implicit” — is reversed by 18.16 (§5.2)
or
&T
^T
