{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// the input MIR. For example it will currently filter out
    /// Currently MoveData does not store entries for all places in
    /// places that are Copy; thus we do not track places of shared