{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"ctor"}]}
                ctor = DerefPattern(cx.reveal_opaque_ty(subpattern.ty));
                arity = 1;
                self.internal_state.has_lowered_deref_pat.set(true);