Like others said, Pin is incompatible with these semantics. Some people argue, though, that we need both (basically because pinned types can be moved before bei

Like others said, Pin is incompatible with these semantics. Some people argue, though, that we need both (basically because pinned types can be moved before being pinned).