impl AttributeIdent for Option

Author: ModProg

CHANGELOG.md

@@ -4,7 +4,10 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-<!-- ## [Unreleased] -->
+## [Unreleased]
+### Added
+- `AttributeIdent` implementation for `Option<impl AttributeIdent>`
+
 ## [0.9.2] - 2024-06-22
 ### Fixed
 - Partial type copies visibility from attribute struct

Cargo.toml

@@ -17,8 +17,8 @@ edition = "2021"
 [lib]
 
 [dependencies]
-derive-where = "1.2.5"
-manyhow = "0.10.3"
+derive-where = "1.2.7"
+manyhow = "0.11.2"
 proc-macro2 = "1"
 quote = "1"
 syn = "2"
@@ -32,7 +32,7 @@ version = "0.9.2"
 path = "macro"
 
 [dev-dependencies]
-insta = "1.34.0"
+insta = "1.39.0"
 quote = "1"
 syn = { version = "2", features = ["extra-traits"] }
 

example/Cargo.toml

@@ -13,7 +13,7 @@ syn = { version = "2", features = ["full", "extra-traits"] }
 trybuild = "1"
 
 [dev-dependencies]
-rustversion = "1.0.14"
+rustversion = "1.0.17"
 
 [package.metadata.release]
 release = false

macro/Cargo.toml

@@ -20,11 +20,11 @@ proc-macro2 = "1"
 quote = "1"
 quote-use = "0.8"
 syn = "2"
-proc-macro-utils = "0.8.0"
+proc-macro-utils = "0.10.0"
 # proc-macro-utils = {path = "../../proc-macro-utils"}
 interpolator = { version = "0.5.0", features = ["iter"] }
 collection_literals = "1"
-manyhow = "0.10"
+manyhow = "0.11"
 
 [package.metadata.release]
 tag = false

src/std_impls.rs

@@ -10,6 +10,7 @@ use crate::parsing::{
     parse_name, AttributeBase, AttributeNamed, AttributePeekable, AttributePositional,
     AttributeValue, Named, PositionalValue, SpannedValue,
 };
+use crate::AttributeIdent;
 
 macro_rules! ParseAs {
     ($parse:ty => $($type:ty),+; $value:ident $($tt:tt)*) => {
@@ -89,6 +90,10 @@ impl<T: FromAttr> FromAttr for Option<T> {
     }
 }
 
+impl<T: AttributeIdent> AttributeIdent for Option<T> {
+    const IDENTS: &'static [&'static str] = T::IDENTS;
+}
+
 impl<T: FromPartial<P>, P> FromPartial<Partial<Vec<P>>> for Vec<T> {
     fn from(partial: Partial<Vec<P>>) -> Result<Self> {
         partial.0.into_iter().map(T::from).collect()