-b9cf5417892ef242c783ef963deff5436205b0f6
+bd816fd76f4f7a040ca7ac8ca5bc556d761f96fa
// This should fail even without validation
// compile-flags: -Zmiri-disable-validation
-#![feature(never_type)]
#![allow(unreachable_code)]
fn main() {
// This should fail even without validation
// compile-flags: -Zmiri-disable-validation
-#![feature(never_type)]
-
struct Human;
fn main() {
// This should fail even without validation
// compile-flags: -Zmiri-disable-validation
-#![feature(never_type)]
#![allow(unused, invalid_value)]
enum Void {}
-#![feature(never_type)]
-
use std::{future::Future, pin::Pin, task::Poll, ptr};
use std::task::{Waker, RawWaker, RawWakerVTable, Context};
-#![feature(generators, generator_trait, never_type)]
+#![feature(generators, generator_trait)]
use std::ops::{GeneratorState, Generator};
use std::pin::Pin;
-#![feature(never_type)]
#![allow(unreachable_code)]
#[allow(unused)]