Hacker News new | past | comments | ask | show | jobs | submit
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).