{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// loading a place should not have side-effects, and the aliasing model "protectors" are
    /// proposes that we don't want these semantics for `Move` in regular assignments, because
    /// inherently tied to a function call. Are these the semantics we want for MIR? Is this