diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-08-22 08:17:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-22 08:17:21 +0200 |
| commit | ae58bbfbce40d81efa6e668b22066859003291ce (patch) | |
| tree | 99e29ef69b305afd6f7335360b19a35f339b3028 | |
| parent | e7df7ba1e4094b53a00f11bc24e4344dc968e12a (diff) | |
| parent | c836739529af2cfba4a76fb8b334f5621d66b4c2 (diff) | |
| download | rust-ae58bbfbce40d81efa6e668b22066859003291ce.tar.gz rust-ae58bbfbce40d81efa6e668b22066859003291ce.zip | |
Rollup merge of #129376 - ChaiTRex:assert_unsafe_precondition_check_language_ub, r=workingjubilee,the8472
Change `assert_unsafe_precondition` docs to refer to `check_language_ub`
| -rw-r--r-- | library/core/src/ub_checks.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/core/src/ub_checks.rs b/library/core/src/ub_checks.rs index b65b48c162d..c1a8c34539e 100644 --- a/library/core/src/ub_checks.rs +++ b/library/core/src/ub_checks.rs @@ -10,7 +10,7 @@ use crate::intrinsics::{self, const_eval_select}; /// macro for language UB are always ignored. /// /// This macro should be called as -/// `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)` /// where each `expr` will be evaluated and passed in as function argument `ident: type`. Then all /// those arguments are passed to a function with the body `check_expr`. /// Pick `check_language_ub` when this is guarding a violation of language UB, i.e., immediate UB |