{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// I vaguely remember Ralf saying somewhere that he thought it should not be.
    /// **Needs clarification**: Is this typed or not, ie is there a typed load and store involved?
    CopyNonOverlapping(CopyNonOverlapping<'tcx>),