move assert_unsafe_preconditions to its own file

These macros and functions are not intrinsics, after all.
This commit is contained in:
Ralf Jung 2024-03-17 10:12:25 +01:00
parent 7f0f9f6580
commit a517adc66e

View File

@ -780,7 +780,7 @@ fn is_fat_ptr<'tcx>(fx: &FunctionCx<'_, '_, 'tcx>, ty: Ty<'tcx>) -> bool {
NullOp::OffsetOf(fields) => {
layout.offset_of_subfield(fx, fields.iter()).bytes()
}
NullOp::UbCheck(_) => {
NullOp::UbChecks => {
let val = fx.tcx.sess.opts.debug_assertions;
let val = CValue::by_val(
fx.bcx.ins().iconst(types::I8, i64::try_from(val).unwrap()),