2021-10-10 16:08:01 +03:00
|
|
|
//! Tests for `builtin_fn_macro.rs` from `hir_expand`.
|
2021-10-10 15:17:53 +03:00
|
|
|
|
|
|
|
use expect_test::expect;
|
|
|
|
|
|
|
|
use crate::macro_expansion_tests::check;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_column_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! column {() => {}}
|
|
|
|
|
|
|
|
fn main() { column!(); }
|
|
|
|
"#,
|
2023-05-11 18:15:28 +09:00
|
|
|
expect![[r#"
|
2021-10-10 15:17:53 +03:00
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! column {() => {}}
|
|
|
|
|
2023-05-11 18:15:28 +09:00
|
|
|
fn main() { 0 as u32; }
|
|
|
|
"#]],
|
2021-10-10 15:17:53 +03:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_line_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! line {() => {}}
|
|
|
|
|
|
|
|
fn main() { line!() }
|
|
|
|
"#,
|
2023-05-11 18:15:28 +09:00
|
|
|
expect![[r#"
|
2021-10-10 15:17:53 +03:00
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! line {() => {}}
|
|
|
|
|
2023-05-11 18:15:28 +09:00
|
|
|
fn main() { 0 as u32 }
|
|
|
|
"#]],
|
2021-10-10 15:17:53 +03:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_stringify_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! stringify {() => {}}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
stringify!(
|
|
|
|
a
|
|
|
|
b
|
|
|
|
c
|
|
|
|
);
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! stringify {() => {}}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
"a b c";
|
|
|
|
}
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_env_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! env {() => {}}
|
|
|
|
|
|
|
|
fn main() { env!("TEST_ENV_VAR"); }
|
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! env {() => {}}
|
|
|
|
|
|
|
|
fn main() { "__RA_UNIMPLEMENTED__"; }
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_option_env_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! option_env {() => {}}
|
|
|
|
|
|
|
|
fn main() { option_env!("TEST_ENV_VAR"); }
|
|
|
|
"#,
|
2022-10-18 09:12:49 +03:00
|
|
|
expect![[r#"
|
2021-10-10 15:17:53 +03:00
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! option_env {() => {}}
|
|
|
|
|
2023-05-25 18:46:34 +03:30
|
|
|
fn main() { ::core::option::Option::None:: < &str>; }
|
2022-10-18 09:12:49 +03:00
|
|
|
"#]],
|
2021-10-10 15:17:53 +03:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_file_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! file {() => {}}
|
|
|
|
|
|
|
|
fn main() { file!(); }
|
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! file {() => {}}
|
|
|
|
|
|
|
|
fn main() { ""; }
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
2021-10-10 15:28:24 +03:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_assert_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! assert {
|
|
|
|
($cond:expr) => ({ /* compiler built-in */ });
|
|
|
|
($cond:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
assert!(true, "{} {:?}", arg1(a, b, c), arg2);
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! assert {
|
|
|
|
($cond:expr) => ({ /* compiler built-in */ });
|
|
|
|
($cond:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
{
|
2023-03-13 10:42:24 +02:00
|
|
|
if !(true ) {
|
2021-10-10 15:28:24 +03:00
|
|
|
$crate::panic!("{} {:?}", arg1(a, b, c), arg2);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_compile_error_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! compile_error {
|
|
|
|
($msg:expr) => ({ /* compiler built-in */ });
|
|
|
|
($msg:expr,) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
// This expands to nothing (since it's in item position), but emits an error.
|
2023-01-09 10:36:22 -08:00
|
|
|
compile_error!("error, with an escaped quote: \"");
|
|
|
|
compile_error!(r"this is a raw string");
|
2021-10-10 15:28:24 +03:00
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! compile_error {
|
|
|
|
($msg:expr) => ({ /* compiler built-in */ });
|
|
|
|
($msg:expr,) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
2023-01-09 10:36:22 -08:00
|
|
|
/* error: error, with an escaped quote: " */
|
|
|
|
/* error: this is a raw string */
|
2021-10-10 15:28:24 +03:00
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_format_args_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
format_args!("{} {:?}", arg1(a, b, c), arg2);
|
|
|
|
}
|
|
|
|
"#,
|
2023-05-16 19:12:40 +03:30
|
|
|
expect![[r##"
|
2021-10-10 15:28:24 +03:00
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2023-06-05 11:07:47 +03:00
|
|
|
::core::fmt::Arguments::new_v1(&["", " ", ], &[::core::fmt::Argument::new(&(arg1(a, b, c)), ::core::fmt::Display::fmt), ::core::fmt::Argument::new(&(arg2), ::core::fmt::Debug::fmt), ]);
|
2021-10-10 15:28:24 +03:00
|
|
|
}
|
2023-05-16 19:12:40 +03:30
|
|
|
"##]],
|
2021-10-10 15:28:24 +03:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_format_args_expand_with_comma_exprs() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
format_args!("{} {:?}", a::<A,B>(), b);
|
|
|
|
}
|
|
|
|
"#,
|
2023-05-16 19:12:40 +03:30
|
|
|
expect![[r##"
|
2021-10-10 15:28:24 +03:00
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2023-06-05 11:07:47 +03:00
|
|
|
::core::fmt::Arguments::new_v1(&["", " ", ], &[::core::fmt::Argument::new(&(a::<A, B>()), ::core::fmt::Display::fmt), ::core::fmt::Argument::new(&(b), ::core::fmt::Debug::fmt), ]);
|
2021-10-10 15:28:24 +03:00
|
|
|
}
|
2023-05-16 19:12:40 +03:30
|
|
|
"##]],
|
2021-10-10 15:28:24 +03:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2023-05-18 12:32:41 +03:30
|
|
|
#[test]
|
|
|
|
fn test_format_args_expand_with_raw_strings() {
|
|
|
|
check(
|
|
|
|
r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
format_args!(
|
|
|
|
r#"{},mismatch,"{}","{}""#,
|
|
|
|
location_csv_pat(db, &analysis, vfs, &sm, pat_id),
|
|
|
|
mismatch.expected.display(db),
|
|
|
|
mismatch.actual.display(db)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
"##,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2023-06-05 11:07:47 +03:00
|
|
|
::core::fmt::Arguments::new_v1(&[r#""#, r#",mismatch,""#, r#"",""#, r#"""#, ], &[::core::fmt::Argument::new(&(location_csv_pat(db, &analysis, vfs, &sm, pat_id)), ::core::fmt::Display::fmt), ::core::fmt::Argument::new(&(mismatch.expected.display(db)), ::core::fmt::Display::fmt), ::core::fmt::Argument::new(&(mismatch.actual.display(db)), ::core::fmt::Display::fmt), ]);
|
2023-05-18 12:32:41 +03:30
|
|
|
}
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2023-05-17 01:15:04 +03:30
|
|
|
#[test]
|
|
|
|
fn test_format_args_expand_eager() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat {}
|
|
|
|
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
format_args!(concat!("xxx{}y", "{:?}zzz"), 2, b);
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat {}
|
|
|
|
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2023-06-05 11:07:47 +03:00
|
|
|
::core::fmt::Arguments::new_v1(&["xxx", "y", "zzz", ], &[::core::fmt::Argument::new(&(2), ::core::fmt::Display::fmt), ::core::fmt::Argument::new(&(b), ::core::fmt::Debug::fmt), ]);
|
2023-05-17 01:15:04 +03:30
|
|
|
}
|
|
|
|
"##]],
|
2021-10-10 15:28:24 +03:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_format_args_expand_with_broken_member_access() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let _ =
|
2022-04-05 17:42:07 +02:00
|
|
|
format_args!/*+errors*/("{} {:?}", a.);
|
2021-10-10 15:28:24 +03:00
|
|
|
}
|
|
|
|
"#,
|
2023-05-16 19:12:40 +03:30
|
|
|
expect![[r##"
|
2021-10-10 15:28:24 +03:00
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {
|
|
|
|
($fmt:expr) => ({ /* compiler built-in */ });
|
|
|
|
($fmt:expr, $($args:tt)*) => ({ /* compiler built-in */ })
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let _ =
|
2023-05-16 19:12:40 +03:30
|
|
|
/* error: no rule matches input tokens *//* parse error: expected field name or number */
|
2023-06-05 11:07:47 +03:00
|
|
|
::core::fmt::Arguments::new_v1(&["", " ", ], &[::core::fmt::Argument::new(&(a.), ::core::fmt::Display::fmt), ::core::fmt::Argument::new(&(), ::core::fmt::Debug::fmt), ]);
|
2021-10-10 15:28:24 +03:00
|
|
|
}
|
2023-05-16 19:12:40 +03:30
|
|
|
"##]],
|
2021-10-10 15:28:24 +03:00
|
|
|
);
|
|
|
|
}
|
2021-10-10 15:30:54 +03:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_include_bytes_expand() {
|
|
|
|
check(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! include_bytes {
|
|
|
|
($file:expr) => {{ /* compiler built-in */ }};
|
|
|
|
($file:expr,) => {{ /* compiler built-in */ }};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { include_bytes("foo"); }
|
|
|
|
"#,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! include_bytes {
|
|
|
|
($file:expr) => {{ /* compiler built-in */ }};
|
|
|
|
($file:expr,) => {{ /* compiler built-in */ }};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { include_bytes("foo"); }
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_concat_expand() {
|
|
|
|
check(
|
|
|
|
r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat {}
|
|
|
|
|
2022-08-16 11:24:50 +03:00
|
|
|
fn main() { concat!("foo", "r", 0, r#"bar"#, "\n", false, '"', '\0'); }
|
2021-10-10 15:30:54 +03:00
|
|
|
"##,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat {}
|
|
|
|
|
2022-08-16 11:24:50 +03:00
|
|
|
fn main() { "foor0bar\nfalse\"\u{0}"; }
|
2021-10-10 15:30:54 +03:00
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2022-02-25 18:46:11 +08:00
|
|
|
#[test]
|
|
|
|
fn test_concat_bytes_expand() {
|
|
|
|
check(
|
|
|
|
r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat_bytes {}
|
|
|
|
|
|
|
|
fn main() { concat_bytes!(b'A', b"BC", [68, b'E', 70]); }
|
|
|
|
"##,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat_bytes {}
|
|
|
|
|
|
|
|
fn main() { [b'A', 66, 67, 68, b'E', 70]; }
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-12-10 15:17:31 +01:00
|
|
|
#[test]
|
|
|
|
fn test_concat_with_captured_expr() {
|
|
|
|
check(
|
|
|
|
r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat {}
|
|
|
|
|
|
|
|
macro_rules! surprise {
|
|
|
|
() => { "s" };
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! stuff {
|
|
|
|
($string:expr) => { concat!($string) };
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { concat!(surprise!()); }
|
|
|
|
"##,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat {}
|
|
|
|
|
|
|
|
macro_rules! surprise {
|
|
|
|
() => { "s" };
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! stuff {
|
|
|
|
($string:expr) => { concat!($string) };
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { "s"; }
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2021-10-10 15:30:54 +03:00
|
|
|
#[test]
|
|
|
|
fn test_concat_idents_expand() {
|
|
|
|
check(
|
|
|
|
r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat_idents {}
|
|
|
|
|
|
|
|
fn main() { concat_idents!(foo, bar); }
|
|
|
|
"##,
|
|
|
|
expect![[r##"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat_idents {}
|
|
|
|
|
|
|
|
fn main() { foobar; }
|
|
|
|
"##]],
|
|
|
|
);
|
|
|
|
}
|