{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ty::Ref(_,"}]}
                ty::Ref(_, rty, _) => reveal_and_alloc(cx, once(*rty)),
            Ref => match ty.kind() {
                _ => bug!("Unexpected type for `Ref` constructor: {ty:?}"),