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