{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"),"}]}
        ),
            Ty::new_imm_ptr(tcx, param(0)),
        sym::slice_get_unchecked => (3, 0, vec![param(1), tcx.types.usize], param(0)),