the never type got de-stabilized again; adjust tests

This commit is contained in:
Ralf Jung 2019-12-15 12:22:09 +01:00
parent 60c75092de
commit 74ef63ff0a
8 changed files with 10 additions and 3 deletions

View File

@ -1 +1 @@
12307b3b08edee543a78fb9d4a837fbd6d6ac0fa a605441e049f0b6d5f7715b94b8ac4662fd7fcf6

View File

@ -1,6 +1,7 @@
// This should fail even without validation // This should fail even without validation
// compile-flags: -Zmiri-disable-validation // compile-flags: -Zmiri-disable-validation
#![feature(never_type)]
#![allow(unreachable_code)] #![allow(unreachable_code)]
fn main() { fn main() {

View File

@ -1,6 +1,8 @@
// This should fail even without validation // This should fail even without validation
// compile-flags: -Zmiri-disable-validation // compile-flags: -Zmiri-disable-validation
#![feature(never_type)]
struct Human; struct Human;
fn main() { fn main() {

View File

@ -1,6 +1,7 @@
// This should fail even without validation // This should fail even without validation
// compile-flags: -Zmiri-disable-validation // compile-flags: -Zmiri-disable-validation
#![feature(never_type)]
#![allow(unused, invalid_value)] #![allow(unused, invalid_value)]
enum Void {} enum Void {}

View File

@ -1,3 +1,5 @@
#![feature(never_type)]
use std::{future::Future, pin::Pin, task::Poll, ptr}; use std::{future::Future, pin::Pin, task::Poll, ptr};
use std::task::{Waker, RawWaker, RawWakerVTable, Context}; use std::task::{Waker, RawWaker, RawWakerVTable, Context};

View File

@ -1,4 +1,4 @@
#![feature(generators, generator_trait)] #![feature(generators, generator_trait, never_type)]
use std::ops::{GeneratorState, Generator}; use std::ops::{GeneratorState, Generator};
use std::pin::Pin; use std::pin::Pin;

View File

@ -1,3 +1,4 @@
#![feature(never_type)]
#![allow(unreachable_code)] #![allow(unreachable_code)]
#[allow(unused)] #[allow(unused)]

View File

@ -1,6 +1,6 @@
// ignore-windows: Unwind panicking does not currently work on Windows // ignore-windows: Unwind panicking does not currently work on Windows
#![feature(never_type)]
#![allow(const_err)] #![allow(const_err)]
use std::panic::{catch_unwind, AssertUnwindSafe}; use std::panic::{catch_unwind, AssertUnwindSafe};
use std::cell::Cell; use std::cell::Cell;