{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"deref_pattern_label,"}]}
            deref_pattern_label,
            smart_pointer_ty: deref_pat.ty().inner(),
            normal_constructor_label,