diff --git a/rust-version b/rust-version index afa5b6ae4861..584f9f86b985 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -12307b3b08edee543a78fb9d4a837fbd6d6ac0fa +a605441e049f0b6d5f7715b94b8ac4662fd7fcf6 diff --git a/tests/compile-fail/never_say_never.rs b/tests/compile-fail/never_say_never.rs index 21fc16751c25..37dfe827d997 100644 --- a/tests/compile-fail/never_say_never.rs +++ b/tests/compile-fail/never_say_never.rs @@ -1,6 +1,7 @@ // This should fail even without validation // compile-flags: -Zmiri-disable-validation +#![feature(never_type)] #![allow(unreachable_code)] fn main() { diff --git a/tests/compile-fail/never_transmute_humans.rs b/tests/compile-fail/never_transmute_humans.rs index 5053be24ebf0..2e0d4e9bdf33 100644 --- a/tests/compile-fail/never_transmute_humans.rs +++ b/tests/compile-fail/never_transmute_humans.rs @@ -1,6 +1,8 @@ // This should fail even without validation // compile-flags: -Zmiri-disable-validation +#![feature(never_type)] + struct Human; fn main() { diff --git a/tests/compile-fail/never_transmute_void.rs b/tests/compile-fail/never_transmute_void.rs index a9cbac528d7a..2a822ab1b515 100644 --- a/tests/compile-fail/never_transmute_void.rs +++ b/tests/compile-fail/never_transmute_void.rs @@ -1,6 +1,7 @@ // This should fail even without validation // compile-flags: -Zmiri-disable-validation +#![feature(never_type)] #![allow(unused, invalid_value)] enum Void {} diff --git a/tests/run-pass/async-fn.rs b/tests/run-pass/async-fn.rs index a4c176ad8f12..90448aca1779 100644 --- a/tests/run-pass/async-fn.rs +++ b/tests/run-pass/async-fn.rs @@ -1,3 +1,5 @@ +#![feature(never_type)] + use std::{future::Future, pin::Pin, task::Poll, ptr}; use std::task::{Waker, RawWaker, RawWakerVTable, Context}; diff --git a/tests/run-pass/generator.rs b/tests/run-pass/generator.rs index 00ebba6344e2..c31b5b9ed3bb 100644 --- a/tests/run-pass/generator.rs +++ b/tests/run-pass/generator.rs @@ -1,4 +1,4 @@ -#![feature(generators, generator_trait)] +#![feature(generators, generator_trait, never_type)] use std::ops::{GeneratorState, Generator}; use std::pin::Pin; diff --git a/tests/run-pass/loop-break-value.rs b/tests/run-pass/loop-break-value.rs index 43acdc228202..bd7afa7ec1a8 100644 --- a/tests/run-pass/loop-break-value.rs +++ b/tests/run-pass/loop-break-value.rs @@ -1,3 +1,4 @@ +#![feature(never_type)] #![allow(unreachable_code)] #[allow(unused)] diff --git a/tests/run-pass/panic/catch_panic.rs b/tests/run-pass/panic/catch_panic.rs index a14dd411c1c6..722da68b70b2 100644 --- a/tests/run-pass/panic/catch_panic.rs +++ b/tests/run-pass/panic/catch_panic.rs @@ -1,6 +1,6 @@ // ignore-windows: Unwind panicking does not currently work on Windows +#![feature(never_type)] #![allow(const_err)] - use std::panic::{catch_unwind, AssertUnwindSafe}; use std::cell::Cell;