[RFC-2011] Allow core_intrinsics when activated · model-checking/verify-rust-std@5736944 (original) (raw)

Original file line number Diff line number Diff line change
@@ -1534,7 +1534,12 @@ pub(crate) mod builtin {
1534 1534 #[rustc_builtin_macro]
1535 1535 #[macro_export]
1536 1536 #[rustc_diagnostic_item = "assert_macro"]
1537 - #[allow_internal_unstable(panic_internals, edition_panic, generic_assert_internals)]
1537 + #[allow_internal_unstable(
1538 + core_intrinsics,
1539 + panic_internals,
1540 + edition_panic,
1541 + generic_assert_internals
1542 +)]
1538 1543 macro_rules! assert {
1539 1544 ($cond:expr $(,)?) => {{ /* compiler built-in */ }};
1540 1545 ($cond:expr, (((arg:tt)+) => {{ /* compiler built-in */ }};