-
Notifications
You must be signed in to change notification settings - Fork 68
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Accept a closure for
with
in lieu of a path for fields (#310)
To avoid exposing the internals of generated impls, these closures are forbidden from capturing locals. This change should be backwards-compatible, as previously only paths were accepted. As part of this change, `trybuild` was updated to `1.0.89`; this was done in this commit for simplicity. Fixes #309
- Loading branch information
Showing
11 changed files
with
136 additions
and
16 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
RUSTFLAGS="--cfg=compiletests" cargo +1.65.0 test --test compiletests | ||
RUSTFLAGS="--cfg=compiletests" cargo +1.77.0 test --test compiletests |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,19 +1,26 @@ | ||
use darling::{util::parse_expr, FromDeriveInput}; | ||
use darling::{util::parse_expr, FromDeriveInput, FromMeta}; | ||
use syn::{parse_quote, Expr}; | ||
|
||
#[derive(FromDeriveInput)] | ||
#[darling(attributes(demo))] | ||
pub struct Receiver { | ||
#[darling(with = parse_expr::preserve_str_literal, map = Some)] | ||
example1: Option<Expr>, | ||
#[darling( | ||
// A closure can be used in lieu of a path. | ||
with = |m| Ok(String::from_meta(m)?.to_uppercase()), | ||
default | ||
)] | ||
example2: String, | ||
} | ||
|
||
fn main() { | ||
let input = Receiver::from_derive_input(&parse_quote! { | ||
#[demo(example1 = test::path)] | ||
#[demo(example1 = test::path, example2 = "hello")] | ||
struct Example; | ||
}) | ||
.unwrap(); | ||
|
||
assert_eq!(input.example1, Some(parse_quote!(test::path))); | ||
assert_eq!(input.example2, "HELLO".to_string()); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
use darling::{FromDeriveInput, FromMeta}; | ||
|
||
#[derive(FromDeriveInput)] | ||
#[darling(attributes(demo))] | ||
pub struct Receiver { | ||
example1: String, | ||
#[darling( | ||
// This should fail because `example1` is a local that's been captured | ||
// from the `FromDeriveInput` impl. That's disallowed because exposing | ||
// those internals would make any change to the derived method body a | ||
// potentially-breaking change. | ||
with = |m| Ok( | ||
String::from_meta(m)?.to_uppercase() | ||
+ example1.1.as_ref().map(|s| s.as_str()).unwrap_or("") | ||
), | ||
default | ||
)] | ||
example2: String, | ||
} | ||
|
||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,30 @@ | ||
error[E0308]: mismatched types | ||
--> tests/compile-fail/with_closure_capture.rs:12:16 | ||
| | ||
12 | with = |m| Ok( | ||
| ^ arguments to this function are incorrect | ||
| ________________| | ||
| | | ||
13 | | String::from_meta(m)?.to_uppercase() | ||
14 | | + example1.1.as_ref().map(|s| s.as_str()).unwrap_or("") | ||
15 | | ), | ||
| |_________^ expected fn pointer, found closure | ||
| | ||
= note: expected fn pointer `for<'a> fn(&'a syn::Meta) -> Result<String, darling::Error>` | ||
found closure `{closure@$DIR/tests/compile-fail/with_closure_capture.rs:12:16: 12:19}` | ||
note: closures can only be coerced to `fn` types if they do not capture any variables | ||
--> tests/compile-fail/with_closure_capture.rs:14:15 | ||
| | ||
14 | + example1.1.as_ref().map(|s| s.as_str()).unwrap_or("") | ||
| ^^^^^^^^ `example1` captured here | ||
help: the return type of this call is `{closure@$DIR/tests/compile-fail/with_closure_capture.rs:12:16: 12:19}` due to the type of the argument passed | ||
--> tests/compile-fail/with_closure_capture.rs:12:16 | ||
| | ||
12 | with = |m| Ok( | ||
| ________________^ | ||
13 | | String::from_meta(m)?.to_uppercase() | ||
14 | | + example1.1.as_ref().map(|s| s.as_str()).unwrap_or("") | ||
15 | | ), | ||
| |_________- this argument influences the return type of `{{root}}` | ||
note: function defined here | ||
--> $RUST/core/src/convert/mod.rs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
use darling::{util::parse_expr, FromDeriveInput, FromMeta}; | ||
use syn::{parse_quote, Expr}; | ||
|
||
#[derive(FromDeriveInput)] | ||
#[darling(attributes(demo))] | ||
pub struct Receiver { | ||
#[darling(with = parse_expr::preserve_str_literal, map = Some)] | ||
example1: Option<Expr>, | ||
#[darling( | ||
with = |m| Ok(String::from_meta(m)?.to_uppercase()), | ||
map = Some | ||
)] | ||
example2: Option<String>, | ||
// This is deliberately strange - it keeps the field name, and ignores | ||
// the rest of the attribute. In normal operation, this is strongly discouraged. | ||
// It's used here to verify that the parameter type is known even if it can't be | ||
// inferred from usage within the closure. | ||
#[darling(with = |m| Ok(m.path().clone()))] | ||
example3: syn::Path, | ||
} | ||
|
||
#[test] | ||
fn handles_all_cases() { | ||
let input = Receiver::from_derive_input(&parse_quote! { | ||
#[demo(example1 = test::path, example2 = "hello", example3)] | ||
struct Example; | ||
}) | ||
.unwrap(); | ||
|
||
assert_eq!(input.example1, Some(parse_quote!(test::path))); | ||
assert_eq!(input.example2, Some("HELLO".to_string())); | ||
assert_eq!(input.example3, parse_quote!(example3)); | ||
} |