projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| 064997fb FG |
1 | //! proc-macro tests |
| 2 | ||
| 3 | #[macro_use] | |
| 4 | mod utils; | |
| 5 | use expect_test::expect; | |
| 6 | use paths::AbsPathBuf; | |
| 7 | use utils::*; | |
| 8 | ||
| 9 | #[test] | |
| 10 | fn test_derive_empty() { | |
| 11 | assert_expand("DeriveEmpty", r#"struct S;"#, expect![[r#"SUBTREE $"#]]); | |
| 12 | } | |
| 13 | ||
| 14 | #[test] | |
| 15 | fn test_derive_error() { | |
| 16 | assert_expand( | |
| 17 | "DeriveError", | |
| 18 | r#"struct S;"#, | |
| 19 | expect![[r##" | |
| 20 | SUBTREE $ | |
| 21 | IDENT compile_error 4294967295 | |
| f2b60f7d | 22 | PUNCH ! [joint] 4294967295 |
| 064997fb FG |
23 | SUBTREE () 4294967295 |
| 24 | LITERAL "#[derive(DeriveError)] struct S ;" 4294967295 | |
| 25 | PUNCH ; [alone] 4294967295"##]], | |
| 26 | ); | |
| 27 | } | |
| 28 | ||
| 29 | #[test] | |
| 30 | fn test_fn_like_macro_noop() { | |
| 31 | assert_expand( | |
| 32 | "fn_like_noop", | |
| 33 | r#"ident, 0, 1, []"#, | |
| 34 | expect![[r#" | |
| 35 | SUBTREE $ | |
| 36 | IDENT ident 4294967295 | |
| 37 | PUNCH , [alone] 4294967295 | |
| 38 | LITERAL 0 4294967295 | |
| 39 | PUNCH , [alone] 4294967295 | |
| 40 | LITERAL 1 4294967295 | |
| 41 | PUNCH , [alone] 4294967295 | |
| 42 | SUBTREE [] 4294967295"#]], | |
| 43 | ); | |
| 44 | } | |
| 45 | ||
| 46 | #[test] | |
| 47 | fn test_fn_like_macro_clone_ident_subtree() { | |
| 48 | assert_expand( | |
| 49 | "fn_like_clone_tokens", | |
| 50 | r#"ident, []"#, | |
| 51 | expect![[r#" | |
| 52 | SUBTREE $ | |
| 53 | IDENT ident 4294967295 | |
| 54 | PUNCH , [alone] 4294967295 | |
| 55 | SUBTREE [] 4294967295"#]], | |
| 56 | ); | |
| 57 | } | |
| 58 | ||
| 59 | #[test] | |
| 60 | fn test_fn_like_macro_clone_raw_ident() { | |
| 61 | assert_expand( | |
| 62 | "fn_like_clone_tokens", | |
| 63 | "r#async", | |
| 64 | expect![[r#" | |
| 65 | SUBTREE $ | |
| 66 | IDENT async 4294967295"#]], | |
| 67 | ); | |
| 68 | } | |
| 69 | ||
| 70 | #[test] | |
| 71 | fn test_fn_like_mk_literals() { | |
| 72 | assert_expand( | |
| 73 | "fn_like_mk_literals", | |
| 74 | r#""#, | |
| 75 | expect![[r#" | |
| 76 | SUBTREE $ | |
| 77 | LITERAL b"byte_string" 4294967295 | |
| 78 | LITERAL 'c' 4294967295 | |
| 79 | LITERAL "string" 4294967295 | |
| 80 | LITERAL 3.14f64 4294967295 | |
| 81 | LITERAL 3.14 4294967295 | |
| 82 | LITERAL 123i64 4294967295 | |
| 83 | LITERAL 123 4294967295"#]], | |
| 84 | ); | |
| 85 | } | |
| 86 | ||
| 87 | #[test] | |
| 88 | fn test_fn_like_mk_idents() { | |
| 89 | // FIXME: this test is wrong: raw should be 'r#raw' but ABIs 1.64 and below | |
| 90 | // simply ignore `is_raw` when implementing the `Ident` interface. | |
| 91 | assert_expand( | |
| 92 | "fn_like_mk_idents", | |
| 93 | r#""#, | |
| 94 | expect![[r#" | |
| 95 | SUBTREE $ | |
| 96 | IDENT standard 4294967295 | |
| 97 | IDENT raw 4294967295"#]], | |
| 98 | ); | |
| 99 | } | |
| 100 | ||
| 101 | #[test] | |
| 102 | fn test_fn_like_macro_clone_literals() { | |
| 103 | assert_expand( | |
| 104 | "fn_like_clone_tokens", | |
| 105 | r#"1u16, 2_u32, -4i64, 3.14f32, "hello bridge""#, | |
| 106 | expect![[r#" | |
| 107 | SUBTREE $ | |
| 108 | LITERAL 1u16 4294967295 | |
| 109 | PUNCH , [alone] 4294967295 | |
| 110 | LITERAL 2_u32 4294967295 | |
| 111 | PUNCH , [alone] 4294967295 | |
| f2b60f7d | 112 | PUNCH - [joint] 4294967295 |
| 064997fb FG |
113 | LITERAL 4i64 4294967295 |
| 114 | PUNCH , [alone] 4294967295 | |
| 115 | LITERAL 3.14f32 4294967295 | |
| 116 | PUNCH , [alone] 4294967295 | |
| 117 | LITERAL "hello bridge" 4294967295"#]], | |
| 118 | ); | |
| 119 | } | |
| 120 | ||
| 121 | #[test] | |
| 122 | fn test_attr_macro() { | |
| 123 | // Corresponds to | |
| 124 | // #[proc_macro_test::attr_error(some arguments)] | |
| 125 | // mod m {} | |
| 126 | assert_expand_attr( | |
| 127 | "attr_error", | |
| 128 | r#"mod m {}"#, | |
| 129 | r#"some arguments"#, | |
| 130 | expect![[r##" | |
| 131 | SUBTREE $ | |
| 132 | IDENT compile_error 4294967295 | |
| f2b60f7d | 133 | PUNCH ! [joint] 4294967295 |
| 064997fb FG |
134 | SUBTREE () 4294967295 |
| 135 | LITERAL "#[attr_error(some arguments)] mod m {}" 4294967295 | |
| 136 | PUNCH ; [alone] 4294967295"##]], | |
| 137 | ); | |
| 138 | } | |
| 139 | ||
| 140 | /// Tests that we find and classify all proc macros correctly. | |
| 141 | #[test] | |
| 142 | fn list_test_macros() { | |
| 143 | let res = list().join("\n"); | |
| 144 | ||
| 145 | expect![[r#" | |
| 146 | fn_like_noop [FuncLike] | |
| 147 | fn_like_panic [FuncLike] | |
| 148 | fn_like_error [FuncLike] | |
| 149 | fn_like_clone_tokens [FuncLike] | |
| 150 | fn_like_mk_literals [FuncLike] | |
| 151 | fn_like_mk_idents [FuncLike] | |
| 152 | attr_noop [Attr] | |
| 153 | attr_panic [Attr] | |
| 154 | attr_error [Attr] | |
| 155 | DeriveEmpty [CustomDerive] | |
| 156 | DerivePanic [CustomDerive] | |
| 157 | DeriveError [CustomDerive]"#]] | |
| 158 | .assert_eq(&res); | |
| 159 | } | |
| 160 | ||
| 161 | #[test] | |
| 162 | fn test_version_check() { | |
| 163 | let path = AbsPathBuf::assert(fixtures::proc_macro_test_dylib_path()); | |
| 164 | let info = proc_macro_api::read_dylib_info(&path).unwrap(); | |
| 165 | assert!(info.version.1 >= 50); | |
| 166 | } |