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