@@ -10,7 +10,7 @@ use crate::intrinsics::{self, const_eval_select};
10
10
/// macro for language UB are always ignored.
11
11
///
12
12
/// This macro should be called as
13
- /// `assert_unsafe_precondition!(check_{library,lang }_ub, "message", (ident: type = expr, ident: type = expr) => check_expr)`
13
+ /// `assert_unsafe_precondition!(check_{library,language }_ub, "message", (ident: type = expr, ident: type = expr) => check_expr)`
14
14
/// where each `expr` will be evaluated and passed in as function argument `ident: type`. Then all
15
15
/// those arguments are passed to a function with the body `check_expr`.
16
16
/// Pick `check_language_ub` when this is guarding a violation of language UB, i.e., immediate UB
@@ -49,7 +49,7 @@ use crate::intrinsics::{self, const_eval_select};
49
49
/// debuginfo to have a measurable compile-time impact on debug builds.
50
50
#[ allow_internal_unstable( const_ub_checks) ] // permit this to be called in stably-const fn
51
51
#[ macro_export]
52
- #[ unstable( feature = "ub_checks" , issue = "none " ) ]
52
+ #[ unstable( feature = "ub_checks" , issue = "123499 " ) ]
53
53
macro_rules! assert_unsafe_precondition {
54
54
( $kind: ident, $message: expr, ( $( $name: ident: $ty: ty = $arg: expr) ,* $( , ) ?) => $e: expr $( , ) ?) => {
55
55
{
@@ -79,11 +79,11 @@ macro_rules! assert_unsafe_precondition {
79
79
}
80
80
} ;
81
81
}
82
- #[ unstable( feature = "ub_checks" , issue = "none " ) ]
82
+ #[ unstable( feature = "ub_checks" , issue = "123499 " ) ]
83
83
pub use assert_unsafe_precondition;
84
84
/// Checking library UB is always enabled when UB-checking is done
85
85
/// (and we use a reexport so that there is no unnecessary wrapper function).
86
- #[ unstable( feature = "ub_checks" , issue = "none " ) ]
86
+ #[ unstable( feature = "ub_checks" , issue = "123499 " ) ]
87
87
pub use intrinsics:: ub_checks as check_library_ub;
88
88
89
89
/// Determines whether we should check for language UB.
0 commit comments