message: ReadBytesAsPointer is always supported
diff: @@ -92,6 +92,8 @@ pub fn report_error<'tcx, 'mir>(
  let helps = match e.kind {
  Unsupported(UnsupportedOpInfo::NoMirFor(..)) =>
  vec![format!("make sure to use a Miri sysroot, which you can prepare with `cargo miri setup`")],
  + Unsupported(UnsupportedOpInfo::ReadBytesAsPointer) =>
  + panic!("`ReadBytesAsPointer` cannot be raised by Miri"),
  Unsupported(_) =>
  vec![format!("this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support")],
  UndefinedBehavior(UndefinedBehaviorInfo::AlignmentCheckFailed { .. }) =>
  