fn collect_properties_from_named_attrs<'tcx>( tcx: TyCtxt<'tcx>, attrs: impl IntoIterator<Item = &'tcx Attribute>, property_def_id: DefId, parse_error_label: &str, attr_name: &str, ) -> Vec<Property<'tcx>>