Update src/tools/miri/src/shims/intrinsics/mod.rs

Co-authored-by: Ralf Jung <[email protected]>

Author: oli-obk

src/tools/miri/src/shims/intrinsics/mod.rs

@@ -69,7 +69,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
             }
             let intrinsic_fallback_checks_ub = Symbol::intern("intrinsic_fallback_checks_ub");
             if this.tcx.get_attrs_by_path(instance.def_id(), &[sym::miri, intrinsic_fallback_checks_ub]).next().is_none() {
-                throw_unsup_format!("miri can only use intrinsic fallback bodies that preserve UB. After verifying that `{intrinsic_name}` does so, add the `#[miri::intrinsic_fallback_checks_ub]` attribute to it");
+                throw_unsup_format!("miri can only use intrinsic fallback bodies that check UB. After verifying that `{intrinsic_name}` does so, add the `#[miri::intrinsic_fallback_checks_ub]` attribute to it; also ping @rust-lang/miri when you do that");
             }
             return Ok(Some(ty::Instance {
                 def: ty::InstanceDef::Item(instance.def_id()),