It is my opinion that this should not have been allowed in the first place, and should be forward-compat deprecated for eventual removal.
I tried this code:
macro_rules! m {
($crate) => {};
}
I expected to see this happen:
A compiler error. Likely,
error: missing fragment specifier
--> src/lib.rs:2:6
|
2 | ($crate) => {};
| ^^^^^^
|
= note: `#[deny(missing_fragment_specifier)]` on by default
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, [see issue #40107 <https://github.com/rust-lang/rust/issues/40107>](https://github.com/rust-lang/rust/issues/40107)
Instead, this happened:
The macro compiles without any errors. Calling such a macro is difficult:
m!($crate); //~ error: no rules expected the token `$`
macro_rules! call {
() => { m!($crate); };
}
call!(); // this works
The following illustrates what is going on here:
// lib.rs
#[macro_export]
macro_rules! lib_macro {
($crate) => {};
}
#[macro_export]
macro_rules! try_call {
($m:path) => {
$m!($crate);
};
}
// main.rs
use lib::*;
macro_rules! main_macro {
($crate) => {};
}
macro_rules! tt_macro {
($krate:tt) => {};
}
macro_rules! ident_macro {
($krate:ident) => {};
}
try_call!(lib_macro);
try_call!(main_macro);
try_call!(tt_macro);
try_call!(ident_macro);
fn main() {}
All of these calls work. What is happening is that $crate even in macro patterns is getting glued into a single identifier token. Thus, in the macro pattern, it can only be fulfilled by another glued $crate token, which is only possible do in the expansion of a macro.
I think it is better to forbid this usage, as it is strongly inconsistent with the behavior of other keywords in macro binders (they work like any other identifier and are currently not reserved in this position), and $crate is taught as
Within a macro imported from a crate named foo, the special macro variable $crate will expand to ::foo. [old 1.5 edition of The Book]
Hygiene is also the reason that we need the $crate metavariable when our macro needs access to other items in the defining crate. What this special metavariable does is that it expands to an absolute path to the defining crate. [The Little Book of Rust Macros]
While both of these are subtly wrong ($crate can be observed to "expand" into a single identifier), they agree that $crate is semantically a "reserved binder" which expands to the crate that the containing macro_rules! is defined in.
The current behavior of $crate in macro pattern position is as a compound token (only producible with macros) is incompatible with this understanding of $crate, which is otherwise (mostly) correct. The behavior of $crate in pattern position should by this definition be to
- without a fragment specifier, error indicating that a fragment specifier is missing (and perhaps also/instead)
- with a fragment specifier, error indicating that
$crate is a reserved keyword name that cannot be used as a custom binder.
Meta
rustc --version --verbose:
rustc 1.64.0-nightly (27eb6d701 2022-07-04)
binary: rustc
commit-hash: 27eb6d7018e397cf98d51c205e3576951d766323
commit-date: 2022-07-04
host: x86_64-pc-windows-msvc
release: 1.64.0-nightly
LLVM version: 14.0.6
It is my opinion that this should not have been allowed in the first place, and should be forward-compat deprecated for eventual removal.
I tried this code:
I expected to see this happen:
A compiler error. Likely,
Instead, this happened:
The macro compiles without any errors. Calling such a macro is difficult:
The following illustrates what is going on here:
All of these calls work. What is happening is that
$crateeven in macro patterns is getting glued into a single identifier token. Thus, in the macro pattern, it can only be fulfilled by another glued$cratetoken, which is only possible do in the expansion of a macro.I think it is better to forbid this usage, as it is strongly inconsistent with the behavior of other keywords in macro binders (they work like any other identifier and are currently not reserved in this position), and
$crateis taught asWhile both of these are subtly wrong (
$cratecan be observed to "expand" into a single identifier), they agree that$crateis semantically a "reserved binder" which expands to the crate that the containingmacro_rules!is defined in.The current behavior of
$cratein macro pattern position is as a compound token (only producible with macros) is incompatible with this understanding of$crate, which is otherwise (mostly) correct. The behavior of$cratein pattern position should by this definition be to$crateis a reserved keyword name that cannot be used as a custom binder.Meta
rustc --version --verbose: