{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"|"}]}
            | StatementKind::Intrinsic(box NonDivergingIntrinsic::CopyNonOverlapping(..))
            // copy_nonoverlapping takes pointers and mutated the pointed-to value.
            | StatementKind::AscribeUserType(..)