{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                diag.arg("intrinsic", intrinsic);
            ShiftOverflow { intrinsic, shift_amount } => {