Auto merge of #1115 - RalfJung:rustup, r=RalfJung

the never type got de-stabilized again; adjust tests
This commit is contained in:
bors 2019-12-15 11:24:36 +00:00
commit 6c75a95a7f
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
// compile-flags: -Zmiri-disable-validation
#![feature(never_type)]
#![allow(unreachable_code)]
fn main() {

View File

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

View File

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

View File

@ -1,3 +1,5 @@
#![feature(never_type)]
use std::{future::Future, pin::Pin, task::Poll, ptr};
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::pin::Pin;

View File

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

View File

@ -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;