Skip to content

chore: clarify comments and error messages for generic annotations#744

Merged
georgeh0 merged 1 commit intomainfrom
dict
Jul 13, 2025
Merged

chore: clarify comments and error messages for generic annotations#744
georgeh0 merged 1 commit intomainfrom
dict

Commits

Commits on Jul 13, 2025