| //! proc-macro tests |
| |
| #[macro_use] |
| mod utils; |
| use utils::*; |
| |
| use expect_test::expect; |
| |
| #[test] |
| fn test_derive_empty() { |
| assert_expand( |
| "DeriveEmpty", |
| r#"struct S;"#, |
| expect![[r#" |
| IDENT 1 struct |
| IDENT 1 S |
| PUNCT 1 ; [alone] |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..6#ROOT2024 struct |
| IDENT 42:Root[0000, 0]@7..8#ROOT2024 S |
| PUNCT 42:Root[0000, 0]@8..9#ROOT2024 ; [alone] |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_derive_error() { |
| assert_expand( |
| "DeriveError", |
| r#"struct S { field: u32 }"#, |
| expect![[r#" |
| IDENT 1 struct |
| IDENT 1 S |
| GROUP {} 1 1 1 |
| IDENT 1 field |
| PUNCT 1 : [alone] |
| IDENT 1 u32 |
| |
| |
| IDENT 1 compile_error |
| PUNCT 1 ! [joint] |
| GROUP () 1 1 1 |
| LITER 1 Str #[derive(DeriveError)] struct S {field 58 u32 } |
| PUNCT 1 ; [alone] |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..6#ROOT2024 struct |
| IDENT 42:Root[0000, 0]@7..8#ROOT2024 S |
| GROUP {} 42:Root[0000, 0]@9..10#ROOT2024 42:Root[0000, 0]@22..23#ROOT2024 42:Root[0000, 0]@9..23#ROOT2024 |
| IDENT 42:Root[0000, 0]@11..16#ROOT2024 field |
| PUNCT 42:Root[0000, 0]@16..17#ROOT2024 : [alone] |
| IDENT 42:Root[0000, 0]@18..21#ROOT2024 u32 |
| |
| |
| IDENT 42:Root[0000, 0]@0..13#ROOT2024 compile_error |
| PUNCT 42:Root[0000, 0]@13..14#ROOT2024 ! [joint] |
| GROUP () 42:Root[0000, 0]@14..15#ROOT2024 42:Root[0000, 0]@64..65#ROOT2024 42:Root[0000, 0]@14..65#ROOT2024 |
| LITER 42:Root[0000, 0]@15..64#ROOT2024 Str #[derive(DeriveError)] struct S {field 58 u32 } |
| PUNCT 42:Root[0000, 0]@65..66#ROOT2024 ; [alone] |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_macro_noop() { |
| assert_expand( |
| "fn_like_noop", |
| r#"ident, 0, 1, []"#, |
| expect![[r#" |
| IDENT 1 ident |
| PUNCT 1 , [alone] |
| LITER 1 Integer 0 |
| PUNCT 1 , [alone] |
| LITER 1 Integer 1 |
| PUNCT 1 , [alone] |
| GROUP [] 1 1 1 |
| |
| |
| IDENT 1 ident |
| PUNCT 1 , [alone] |
| LITER 1 Integer 0 |
| PUNCT 1 , [alone] |
| LITER 1 Integer 1 |
| PUNCT 1 , [alone] |
| GROUP [] 1 1 1 |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..5#ROOT2024 ident |
| PUNCT 42:Root[0000, 0]@5..6#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@7..8#ROOT2024 Integer 0 |
| PUNCT 42:Root[0000, 0]@8..9#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@10..11#ROOT2024 Integer 1 |
| PUNCT 42:Root[0000, 0]@11..12#ROOT2024 , [alone] |
| GROUP [] 42:Root[0000, 0]@13..14#ROOT2024 42:Root[0000, 0]@14..15#ROOT2024 42:Root[0000, 0]@13..15#ROOT2024 |
| |
| |
| IDENT 42:Root[0000, 0]@0..5#ROOT2024 ident |
| PUNCT 42:Root[0000, 0]@5..6#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@7..8#ROOT2024 Integer 0 |
| PUNCT 42:Root[0000, 0]@8..9#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@10..11#ROOT2024 Integer 1 |
| PUNCT 42:Root[0000, 0]@11..12#ROOT2024 , [alone] |
| GROUP [] 42:Root[0000, 0]@13..14#ROOT2024 42:Root[0000, 0]@14..15#ROOT2024 42:Root[0000, 0]@13..15#ROOT2024 |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_macro_clone_ident_subtree() { |
| assert_expand( |
| "fn_like_clone_tokens", |
| r#"ident, []"#, |
| expect![[r#" |
| IDENT 1 ident |
| PUNCT 1 , [alone] |
| GROUP [] 1 1 1 |
| |
| |
| IDENT 1 ident |
| PUNCT 1 , [alone] |
| GROUP [] 1 1 1 |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..5#ROOT2024 ident |
| PUNCT 42:Root[0000, 0]@5..6#ROOT2024 , [alone] |
| GROUP [] 42:Root[0000, 0]@7..8#ROOT2024 42:Root[0000, 0]@8..9#ROOT2024 42:Root[0000, 0]@7..9#ROOT2024 |
| |
| |
| IDENT 42:Root[0000, 0]@0..5#ROOT2024 ident |
| PUNCT 42:Root[0000, 0]@5..6#ROOT2024 , [alone] |
| GROUP [] 42:Root[0000, 0]@7..9#ROOT2024 42:Root[0000, 0]@7..9#ROOT2024 42:Root[0000, 0]@7..9#ROOT2024 |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_macro_clone_raw_ident() { |
| assert_expand( |
| "fn_like_clone_tokens", |
| "r#async", |
| expect![[r#" |
| IDENT 1 r#async |
| |
| |
| IDENT 1 r#async |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@2..7#ROOT2024 r#async |
| |
| |
| IDENT 42:Root[0000, 0]@2..7#ROOT2024 r#async |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_fn_like_span_join() { |
| assert_expand( |
| "fn_like_span_join", |
| "foo bar", |
| expect![[r#" |
| IDENT 1 foo |
| IDENT 1 bar |
| |
| |
| IDENT 1 r#joined |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..3#ROOT2024 foo |
| IDENT 42:Root[0000, 0]@8..11#ROOT2024 bar |
| |
| |
| IDENT 42:Root[0000, 0]@0..11#ROOT2024 r#joined |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_fn_like_span_ops() { |
| assert_expand( |
| "fn_like_span_ops", |
| "set_def_site resolved_at_def_site start_span", |
| expect![[r#" |
| IDENT 1 set_def_site |
| IDENT 1 resolved_at_def_site |
| IDENT 1 start_span |
| |
| |
| IDENT 0 set_def_site |
| IDENT 1 resolved_at_def_site |
| IDENT 1 start_span |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..12#ROOT2024 set_def_site |
| IDENT 42:Root[0000, 0]@13..33#ROOT2024 resolved_at_def_site |
| IDENT 42:Root[0000, 0]@34..44#ROOT2024 start_span |
| |
| |
| IDENT 41:Root[0000, 0]@0..150#ROOT2024 set_def_site |
| IDENT 42:Root[0000, 0]@13..33#ROOT2024 resolved_at_def_site |
| IDENT 42:Root[0000, 0]@34..34#ROOT2024 start_span |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_mk_literals() { |
| assert_expand( |
| "fn_like_mk_literals", |
| r#""#, |
| expect![[r#" |
| |
| |
| LITER 1 ByteStr byte_string |
| LITER 1 Char c |
| LITER 1 Str string |
| LITER 1 Str -string |
| LITER 1 CStr cstring |
| LITER 1 Float 3.14f64 |
| LITER 1 Float -3.14f64 |
| LITER 1 Float 3.14 |
| LITER 1 Float -3.14 |
| LITER 1 Integer 123i64 |
| LITER 1 Integer -123i64 |
| LITER 1 Integer 123 |
| LITER 1 Integer -123 |
| "#]], |
| expect![[r#" |
| |
| |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 ByteStr byte_string |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Char c |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Str string |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Str -string |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 CStr cstring |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Float 3.14f64 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Float -3.14f64 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Float 3.14 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Float -3.14 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Integer 123i64 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Integer -123i64 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Integer 123 |
| LITER 42:Root[0000, 0]@0..100#ROOT2024 Integer -123 |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_mk_idents() { |
| assert_expand( |
| "fn_like_mk_idents", |
| r#""#, |
| expect![[r#" |
| |
| |
| IDENT 1 standard |
| IDENT 1 r#raw |
| "#]], |
| expect![[r#" |
| |
| |
| IDENT 42:Root[0000, 0]@0..100#ROOT2024 standard |
| IDENT 42:Root[0000, 0]@0..100#ROOT2024 r#raw |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_macro_clone_literals() { |
| assert_expand( |
| "fn_like_clone_tokens", |
| r###"1u16, 2_u32, -4i64, 3.14f32, "hello bridge", "suffixed"suffix, r##"raw"##, 'a', b'b', c"null""###, |
| expect![[r#" |
| LITER 1 Integer 1u16 |
| PUNCT 1 , [alone] |
| LITER 1 Integer 2_u32 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Integer 4i64 |
| PUNCT 1 , [alone] |
| LITER 1 Float 3.14f32 |
| PUNCT 1 , [alone] |
| LITER 1 Str hello bridge |
| PUNCT 1 , [alone] |
| LITER 1 Str suffixedsuffix |
| PUNCT 1 , [alone] |
| LITER 1 StrRaw(2) raw |
| PUNCT 1 , [alone] |
| LITER 1 Char a |
| PUNCT 1 , [alone] |
| LITER 1 Byte b |
| PUNCT 1 , [alone] |
| LITER 1 CStr null |
| |
| |
| LITER 1 Integer 1u16 |
| PUNCT 1 , [alone] |
| LITER 1 Integer 2_u32 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Integer 4i64 |
| PUNCT 1 , [alone] |
| LITER 1 Float 3.14f32 |
| PUNCT 1 , [alone] |
| LITER 1 Str hello bridge |
| PUNCT 1 , [alone] |
| LITER 1 Str suffixedsuffix |
| PUNCT 1 , [alone] |
| LITER 1 StrRaw(2) raw |
| PUNCT 1 , [alone] |
| LITER 1 Char a |
| PUNCT 1 , [alone] |
| LITER 1 Byte b |
| PUNCT 1 , [alone] |
| LITER 1 CStr null |
| "#]], |
| expect![[r#" |
| LITER 42:Root[0000, 0]@0..4#ROOT2024 Integer 1u16 |
| PUNCT 42:Root[0000, 0]@4..5#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@6..11#ROOT2024 Integer 2_u32 |
| PUNCT 42:Root[0000, 0]@11..12#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@13..14#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@14..18#ROOT2024 Integer 4i64 |
| PUNCT 42:Root[0000, 0]@18..19#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@20..27#ROOT2024 Float 3.14f32 |
| PUNCT 42:Root[0000, 0]@27..28#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@29..43#ROOT2024 Str hello bridge |
| PUNCT 42:Root[0000, 0]@43..44#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@45..61#ROOT2024 Str suffixedsuffix |
| PUNCT 42:Root[0000, 0]@61..62#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@63..73#ROOT2024 StrRaw(2) raw |
| PUNCT 42:Root[0000, 0]@73..74#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@75..78#ROOT2024 Char a |
| PUNCT 42:Root[0000, 0]@78..79#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@80..84#ROOT2024 Byte b |
| PUNCT 42:Root[0000, 0]@84..85#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@86..93#ROOT2024 CStr null |
| |
| |
| LITER 42:Root[0000, 0]@0..4#ROOT2024 Integer 1u16 |
| PUNCT 42:Root[0000, 0]@4..5#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@6..11#ROOT2024 Integer 2_u32 |
| PUNCT 42:Root[0000, 0]@11..12#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@13..14#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@14..18#ROOT2024 Integer 4i64 |
| PUNCT 42:Root[0000, 0]@18..19#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@20..27#ROOT2024 Float 3.14f32 |
| PUNCT 42:Root[0000, 0]@27..28#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@29..43#ROOT2024 Str hello bridge |
| PUNCT 42:Root[0000, 0]@43..44#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@45..61#ROOT2024 Str suffixedsuffix |
| PUNCT 42:Root[0000, 0]@61..62#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@63..73#ROOT2024 StrRaw(2) raw |
| PUNCT 42:Root[0000, 0]@73..74#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@75..78#ROOT2024 Char a |
| PUNCT 42:Root[0000, 0]@78..79#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@80..84#ROOT2024 Byte b |
| PUNCT 42:Root[0000, 0]@84..85#ROOT2024 , [alone] |
| LITER 42:Root[0000, 0]@86..93#ROOT2024 CStr null |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_fn_like_macro_negative_literals() { |
| assert_expand( |
| "fn_like_clone_tokens", |
| r###"-1u16, - 2_u32, -3.14f32, - 2.7"###, |
| expect![[r#" |
| PUNCT 1 - [alone] |
| LITER 1 Integer 1u16 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Integer 2_u32 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Float 3.14f32 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Float 2.7 |
| |
| |
| PUNCT 1 - [alone] |
| LITER 1 Integer 1u16 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Integer 2_u32 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Float 3.14f32 |
| PUNCT 1 , [alone] |
| PUNCT 1 - [alone] |
| LITER 1 Float 2.7 |
| "#]], |
| expect![[r#" |
| PUNCT 42:Root[0000, 0]@0..1#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@1..5#ROOT2024 Integer 1u16 |
| PUNCT 42:Root[0000, 0]@5..6#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@7..8#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@9..14#ROOT2024 Integer 2_u32 |
| PUNCT 42:Root[0000, 0]@14..15#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@16..17#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@17..24#ROOT2024 Float 3.14f32 |
| PUNCT 42:Root[0000, 0]@24..25#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@26..27#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@28..31#ROOT2024 Float 2.7 |
| |
| |
| PUNCT 42:Root[0000, 0]@0..1#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@1..5#ROOT2024 Integer 1u16 |
| PUNCT 42:Root[0000, 0]@5..6#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@7..8#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@9..14#ROOT2024 Integer 2_u32 |
| PUNCT 42:Root[0000, 0]@14..15#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@16..17#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@17..24#ROOT2024 Float 3.14f32 |
| PUNCT 42:Root[0000, 0]@24..25#ROOT2024 , [alone] |
| PUNCT 42:Root[0000, 0]@26..27#ROOT2024 - [alone] |
| LITER 42:Root[0000, 0]@28..31#ROOT2024 Float 2.7 |
| "#]], |
| ); |
| } |
| |
| #[test] |
| fn test_attr_macro() { |
| // Corresponds to |
| // #[proc_macro_test::attr_error(some arguments)] |
| // mod m {} |
| assert_expand_attr( |
| "attr_error", |
| r#"mod m {}"#, |
| r#"some arguments"#, |
| expect![[r#" |
| IDENT 1 mod |
| IDENT 1 m |
| GROUP {} 1 1 1 |
| |
| |
| IDENT 1 some |
| IDENT 1 arguments |
| |
| |
| IDENT 1 compile_error |
| PUNCT 1 ! [joint] |
| GROUP () 1 1 1 |
| LITER 1 Str #[attr_error(some arguments )] mod m {} |
| PUNCT 1 ; [alone] |
| "#]], |
| expect![[r#" |
| IDENT 42:Root[0000, 0]@0..3#ROOT2024 mod |
| IDENT 42:Root[0000, 0]@4..5#ROOT2024 m |
| GROUP {} 42:Root[0000, 0]@6..7#ROOT2024 42:Root[0000, 0]@7..8#ROOT2024 42:Root[0000, 0]@6..8#ROOT2024 |
| |
| |
| IDENT 42:Root[0000, 0]@0..4#ROOT2024 some |
| IDENT 42:Root[0000, 0]@5..14#ROOT2024 arguments |
| |
| |
| IDENT 42:Root[0000, 0]@0..13#ROOT2024 compile_error |
| PUNCT 42:Root[0000, 0]@13..14#ROOT2024 ! [joint] |
| GROUP () 42:Root[0000, 0]@14..15#ROOT2024 42:Root[0000, 0]@56..57#ROOT2024 42:Root[0000, 0]@14..57#ROOT2024 |
| LITER 42:Root[0000, 0]@15..56#ROOT2024 Str #[attr_error(some arguments )] mod m {} |
| PUNCT 42:Root[0000, 0]@57..58#ROOT2024 ; [alone] |
| "#]], |
| ); |
| } |
| |
| /// Tests that we find and classify all proc macros correctly. |
| #[test] |
| fn list_test_macros() { |
| let res = list().join("\n"); |
| |
| expect![[r#" |
| fn_like_noop [Bang] |
| fn_like_panic [Bang] |
| fn_like_error [Bang] |
| fn_like_clone_tokens [Bang] |
| fn_like_mk_literals [Bang] |
| fn_like_mk_idents [Bang] |
| fn_like_span_join [Bang] |
| fn_like_span_ops [Bang] |
| attr_noop [Attr] |
| attr_panic [Attr] |
| attr_error [Attr] |
| DeriveEmpty [CustomDerive] |
| DerivePanic [CustomDerive] |
| DeriveError [CustomDerive]"#]] |
| .assert_eq(&res); |
| } |
