We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 4ec19af + 9d2bb97 commit 2535017Copy full SHA for 2535017
core/src/ub_checks.rs
@@ -10,7 +10,7 @@ use crate::intrinsics::{self, const_eval_select};
10
/// macro for language UB are always ignored.
11
///
12
/// This macro should be called as
13
-/// `assert_unsafe_precondition!(check_{library,lang}_ub, "message", (ident: type = expr, ident: type = expr) => check_expr)`
+/// `assert_unsafe_precondition!(check_{library,language}_ub, "message", (ident: type = expr, ident: type = expr) => check_expr)`
14
/// where each `expr` will be evaluated and passed in as function argument `ident: type`. Then all
15
/// those arguments are passed to a function with the body `check_expr`.
16
/// Pick `check_language_ub` when this is guarding a violation of language UB, i.e., immediate UB
0 commit comments