core

core
- alloc
- any
- arch
- array
- ascii
- assert_matches
- async_iter
- autodiff
- borrow
- bstr
- cell
- char
- clone
- cmp
- contracts
- convert
- default
- error
- f128
  - consts
- f16
  - consts
- f32
  - consts
  - math
- f64
  - consts
  - math
- ffi
  - c_str
  - va_list
- fmt
- from
- future
- hash
- hint
- index
- intrinsics
  - fallback
  - mir
  - simd
- io
- iter
- marker
- mem
  - type_info
- net
- num
- ops
- option
- os
  - darwin
    - objc
- panic
- panicking
  - panic_const
- pat
- pin
- prelude
  - rust_2015
  - rust_2018
  - rust_2021
  - rust_2024
  - v1
- primitive
- profiling
- ptr
- random
- range
  - legacy
- result
- simd
- slice
- str
  - pattern
- sync
  - atomic
- task
- time
- ub_checks
- unsafe_binder

core :: ub_checks

Module `ub_checks`

Provides the assert_unsafe_precondition macro as well as some utility functions that cover common preconditions.