Skip to content

#[newtype_oparg] derive macro #7489

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
ShaharNaveh wants to merge 14 commits into from
Closed

#[newtype_oparg] derive macro #7489

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
e599382
Basic struct support
ShaharNaveh Mar 19, 2026
b60f972
Base enum support
ShaharNaveh Mar 23, 2026
936a079
Modify code for new macro
ShaharNaveh Mar 23, 2026
94d66dd
No need for full feature
ShaharNaveh Mar 23, 2026
f5c2f9b
Remove debug code
ShaharNaveh Mar 23, 2026
9fbc6d3
Impl hash
ShaharNaveh Mar 23, 2026
49d2fb6
Merge remote-tracking branch 'upstream/main' into macro-newtype-oparg
ShaharNaveh Mar 24, 2026
f7b11b6
syn full feature
ShaharNaveh Mar 24, 2026
f21d855
Remove unwrap
ShaharNaveh Mar 24, 2026
77eae15
Use `TryFrom`
ShaharNaveh Mar 24, 2026
4d6c725
Convert `ConvertValueOparg` to new macro
ShaharNaveh Mar 24, 2026
c702fbe
Fix bug where `catch_all` is not the last element
ShaharNaveh Mar 24, 2026
796b61c
Don't match on 255
ShaharNaveh Mar 24, 2026
9691476
Validate `catch_all` variant drfinition
ShaharNaveh Mar 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Validate catch_all variant drfinition
  • Loading branch information
@ShaharNaveh
ShaharNaveh committed Mar 24, 2026
commit 9691476d2ee059d4f61993e44cff18ecd1c08f58
15 changes: 12 additions & 3 deletions crates/macros/src/newtype_oparg.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -97,6 +97,9 @@ impl TryFrom<syn::Variant> for VariantInfo {
type Error = syn::Error;

fn try_from(variant: syn::Variant) -> Result<Self, Self::Error> {
let ident = variant.ident.clone();
let discriminant = variant.discriminant.as_ref().map(|(_, expr)| expr.clone());

let mut display = None;
let mut catch_all = false;
for attr in &variant.attrs {
Expand All @@ -118,8 +121,14 @@ impl TryFrom<syn::Variant> for VariantInfo {
})?
}

let ident = variant.ident.clone();
let discriminant = variant.discriminant.as_ref().map(|(_, expr)| expr.clone());
if catch_all
&& !matches!(&variant.fields, syn::Fields::Unnamed(fields) if fields.unnamed.len() == 1)
{
return Err(Error::new(
ident.span(),
"`#[oparg(catch_all)]` variant must have exactly one unnamed field, e.g., `Other(u32)`",
));
}

if catch_all && display.is_some() {
return Err(Error::new(
Expand Down Expand Up @@ -183,7 +192,7 @@ pub(super) fn handle_enum(item: ItemEnum) -> syn::Result<proc_macro2::TokenStrea
// Don't assign value. Enables more optimizations by the compiler.
variant.discriminant = None;

// Remove `#[oparg(...)`.
// Remove `#[oparg(...)]`.
variant.attrs.retain(|attr| !attr.path().is_ident("oparg"));

variant
Expand Down
Loading