2017-05-07 03:26:45 +00:00
|
|
|
// The compiler code necessary to support the compile_error! extension.
|
|
|
|
|
2020-02-29 17:37:32 +00:00
|
|
|
use rustc_ast::tokenstream::TokenStream;
|
2019-12-29 14:23:55 +00:00
|
|
|
use rustc_expand::base::{self, *};
|
2019-12-31 17:15:40 +00:00
|
|
|
use rustc_span::Span;
|
2017-05-07 03:26:45 +00:00
|
|
|
|
2019-02-04 12:49:54 +00:00
|
|
|
pub fn expand_compile_error<'cx>(
|
|
|
|
cx: &'cx mut ExtCtxt<'_>,
|
2017-05-07 03:26:45 +00:00
|
|
|
sp: Span,
|
2019-08-31 17:08:06 +00:00
|
|
|
tts: TokenStream,
|
2018-07-12 09:58:16 +00:00
|
|
|
) -> Box<dyn base::MacResult + 'cx> {
|
2022-02-18 23:48:49 +00:00
|
|
|
let Some(var) = get_single_str_from_tts(cx, sp, tts, "compile_error!") else {
|
|
|
|
return DummyResult::any(sp);
|
2017-05-07 03:26:45 +00:00
|
|
|
};
|
|
|
|
|
2023-04-08 19:37:41 +00:00
|
|
|
#[expect(
|
|
|
|
rustc::diagnostic_outside_of_impl,
|
|
|
|
reason = "diagnostic message is specified by user"
|
|
|
|
)]
|
|
|
|
#[expect(rustc::untranslatable_diagnostic, reason = "diagnostic message is specified by user")]
|
Use `Cow` in `{D,Subd}iagnosticMessage`.
Each of `{D,Subd}iagnosticMessage::{Str,Eager}` has a comment:
```
// FIXME(davidtwco): can a `Cow<'static, str>` be used here?
```
This commit answers that question in the affirmative. It's not the most
compelling change ever, but it might be worth merging.
This requires changing the `impl<'a> From<&'a str>` impls to `impl
From<&'static str>`, which involves a bunch of knock-on changes that
require/result in call sites being a little more precise about exactly
what kind of string they use to create errors, and not just `&str`. This
will result in fewer unnecessary allocations, though this will not have
any notable perf effects given that these are error paths.
Note that I was lazy within Clippy, using `to_string` in a few places to
preserve the existing string imprecision. I could have used `impl
Into<{D,Subd}iagnosticMessage>` in various places as is done in the
compiler, but that would have required changes to *many* call sites
(mostly changing `&format("...")` to `format!("...")`) which didn't seem
worthwhile.
2023-05-04 00:55:21 +00:00
|
|
|
cx.span_err(sp, var.to_string());
|
2017-05-07 03:26:45 +00:00
|
|
|
|
|
|
|
DummyResult::any(sp)
|
|
|
|
}
|