@[reducible, inline]
Cast away a value's type and universe.
Instances For
Cast an opaque value to a specific type.
This operation is unsafe because there is no guarantee that the opaque
value is of type α
or it its rea; value can soundly fit inside the
opaque value's universe.