2021-06-13 10:41:04 -05:00
|
|
|
use crate::diagnostics::{Diagnostic, DiagnosticsContext};
|
|
|
|
|
|
|
|
// Diagnostic: macro-error
|
|
|
|
//
|
|
|
|
// This diagnostic is shown for macro expansion errors.
|
|
|
|
pub(super) fn macro_error(ctx: &DiagnosticsContext<'_>, d: &hir::MacroError) -> Diagnostic {
|
|
|
|
Diagnostic::new(
|
|
|
|
"macro-error",
|
|
|
|
d.message.clone(),
|
|
|
|
ctx.sema.diagnostics_display_range(d.node.clone()).range,
|
|
|
|
)
|
|
|
|
.experimental()
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2021-06-13 11:23:37 -05:00
|
|
|
use crate::{
|
2021-06-13 11:27:14 -05:00
|
|
|
diagnostics::tests::{check_diagnostics, check_diagnostics_with_config},
|
2021-06-13 11:23:37 -05:00
|
|
|
DiagnosticsConfig,
|
|
|
|
};
|
2021-06-13 10:41:04 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn builtin_macro_fails_expansion() {
|
|
|
|
check_diagnostics(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! include { () => {} }
|
|
|
|
|
|
|
|
include!("doesntexist");
|
|
|
|
//^^^^^^^^^^^^^^^^^^^^^^^^ failed to load file `doesntexist`
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn include_macro_should_allow_empty_content() {
|
2021-06-13 11:23:37 -05:00
|
|
|
let mut config = DiagnosticsConfig::default();
|
|
|
|
|
|
|
|
// FIXME: This is a false-positive, the file is actually linked in via
|
|
|
|
// `include!` macro
|
|
|
|
config.disabled.insert("unlinked-file".to_string());
|
|
|
|
|
|
|
|
check_diagnostics_with_config(
|
|
|
|
config,
|
2021-06-13 10:41:04 -05:00
|
|
|
r#"
|
|
|
|
//- /lib.rs
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! include { () => {} }
|
|
|
|
|
|
|
|
include!("foo/bar.rs");
|
|
|
|
//- /foo/bar.rs
|
|
|
|
// empty
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn good_out_dir_diagnostic() {
|
|
|
|
check_diagnostics(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! include { () => {} }
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! env { () => {} }
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! concat { () => {} }
|
|
|
|
|
|
|
|
include!(concat!(env!("OUT_DIR"), "/out.rs"));
|
|
|
|
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `OUT_DIR` not set, enable "run build scripts" to fix
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn register_attr_and_tool() {
|
|
|
|
cov_mark::check!(register_attr);
|
|
|
|
cov_mark::check!(register_tool);
|
2021-06-13 11:27:14 -05:00
|
|
|
check_diagnostics(
|
2021-06-13 10:41:04 -05:00
|
|
|
r#"
|
|
|
|
#![register_tool(tool)]
|
|
|
|
#![register_attr(attr)]
|
|
|
|
|
|
|
|
#[tool::path]
|
|
|
|
#[attr]
|
|
|
|
struct S;
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
// NB: we don't currently emit diagnostics here
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn macro_diag_builtin() {
|
|
|
|
check_diagnostics(
|
|
|
|
r#"
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! env {}
|
|
|
|
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! include {}
|
|
|
|
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! compile_error {}
|
|
|
|
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args { () => {} }
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
// Test a handful of built-in (eager) macros:
|
|
|
|
|
|
|
|
include!(invalid);
|
|
|
|
//^^^^^^^^^^^^^^^^^ could not convert tokens
|
|
|
|
include!("does not exist");
|
|
|
|
//^^^^^^^^^^^^^^^^^^^^^^^^^^ failed to load file `does not exist`
|
|
|
|
|
|
|
|
env!(invalid);
|
|
|
|
//^^^^^^^^^^^^^ could not convert tokens
|
|
|
|
|
|
|
|
env!("OUT_DIR");
|
|
|
|
//^^^^^^^^^^^^^^^ `OUT_DIR` not set, enable "run build scripts" to fix
|
|
|
|
|
|
|
|
compile_error!("compile_error works");
|
|
|
|
//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ compile_error works
|
|
|
|
|
|
|
|
// Lazy:
|
|
|
|
|
|
|
|
format_args!();
|
|
|
|
//^^^^^^^^^^^^^^ no rule matches input tokens
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn macro_rules_diag() {
|
|
|
|
check_diagnostics(
|
|
|
|
r#"
|
|
|
|
macro_rules! m {
|
|
|
|
() => {};
|
|
|
|
}
|
|
|
|
fn f() {
|
|
|
|
m!();
|
|
|
|
|
|
|
|
m!(hi);
|
|
|
|
//^^^^^^ leftover tokens
|
|
|
|
}
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
#[test]
|
|
|
|
fn dollar_crate_in_builtin_macro() {
|
|
|
|
check_diagnostics(
|
|
|
|
r#"
|
|
|
|
#[macro_export]
|
|
|
|
#[rustc_builtin_macro]
|
|
|
|
macro_rules! format_args {}
|
|
|
|
|
|
|
|
#[macro_export]
|
|
|
|
macro_rules! arg { () => {} }
|
|
|
|
|
|
|
|
#[macro_export]
|
|
|
|
macro_rules! outer {
|
|
|
|
() => {
|
|
|
|
$crate::format_args!( "", $crate::arg!(1) )
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn f() {
|
|
|
|
outer!();
|
|
|
|
} //^^^^^^^^ leftover tokens
|
|
|
|
"#,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|