{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"NonDivergingIntrinsic::Assume(_)"}]}
            NonDivergingIntrinsic::Assume(_) => {}
            // We ignore `assume` intrinsics, they are only useful for optimizations
            NonDivergingIntrinsic::CopyNonOverlapping(mir::CopyNonOverlapping {