{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"Operand::Copy(place)"}]}
                Operand::Copy(place) | Operand::Move(place),
            StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(
            )) => {