diff --git a/rust-version b/rust-version index d3e139e465..d007f952a6 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -2f8d8040166a730d0da7bba0f2864f0ef7ff6364 +7477c1f4f7d6bef037d523099b240d22aa1b63a0 diff --git a/src/shims/intrinsics/mod.rs b/src/shims/intrinsics/mod.rs index 6004e2078a..5ea82adb9c 100644 --- a/src/shims/intrinsics/mod.rs +++ b/src/shims/intrinsics/mod.rs @@ -368,11 +368,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> { } // Other - "exact_div" => { - let [num, denom] = check_arg_count(args)?; - this.exact_div(&this.read_immediate(num)?, &this.read_immediate(denom)?, dest)?; - } - "breakpoint" => { let [] = check_arg_count(args)?; // normally this would raise a SIGTRAP, which aborts if no debugger is connected diff --git a/tests/pass/issues/issue-miri-2433.rs b/tests/pass/issues/issue-miri-2433.rs deleted file mode 100644 index a8281d30ba..0000000000 --- a/tests/pass/issues/issue-miri-2433.rs +++ /dev/null @@ -1,24 +0,0 @@ -#![feature(type_alias_impl_trait)] - -trait T { - type Item; -} - -type Alias<'a> = impl T; - -struct S; -impl<'a> T for &'a S { - type Item = &'a (); -} - -fn filter_positive<'a>() -> Alias<'a> { - &S -} - -fn with_positive(fun: impl Fn(Alias<'_>)) { - fun(filter_positive()); -} - -fn main() { - with_positive(|_| ()); -} diff --git a/tests/pass/panic/catch_panic.rs b/tests/pass/panic/catch_panic.rs index 3089044065..5d57df4e52 100644 --- a/tests/pass/panic/catch_panic.rs +++ b/tests/pass/panic/catch_panic.rs @@ -69,7 +69,7 @@ fn main() { }); test(Some("align_offset: align is not a power-of-two"), |_old_val| { - (0usize as *const u8).align_offset(3); + let _ = (0usize as *const u8).align_offset(3); loop {} });