Auto merge of #1068 - RalfJung:uprust, r=RalfJung
rustup for never stabilization
This commit is contained in:
commit
0fffa97300
7 changed files with 2 additions and 9 deletions
|
|
@ -1 +1 @@
|
|||
b9cf5417892ef242c783ef963deff5436205b0f6
|
||||
bd816fd76f4f7a040ca7ac8ca5bc556d761f96fa
|
||||
|
|
|
|||
|
|
@ -1,7 +1,6 @@
|
|||
// This should fail even without validation
|
||||
// compile-flags: -Zmiri-disable-validation
|
||||
|
||||
#![feature(never_type)]
|
||||
#![allow(unreachable_code)]
|
||||
|
||||
fn main() {
|
||||
|
|
|
|||
|
|
@ -1,8 +1,6 @@
|
|||
// This should fail even without validation
|
||||
// compile-flags: -Zmiri-disable-validation
|
||||
|
||||
#![feature(never_type)]
|
||||
|
||||
struct Human;
|
||||
|
||||
fn main() {
|
||||
|
|
|
|||
|
|
@ -1,7 +1,6 @@
|
|||
// This should fail even without validation
|
||||
// compile-flags: -Zmiri-disable-validation
|
||||
|
||||
#![feature(never_type)]
|
||||
#![allow(unused, invalid_value)]
|
||||
|
||||
enum Void {}
|
||||
|
|
|
|||
|
|
@ -1,5 +1,3 @@
|
|||
#![feature(never_type)]
|
||||
|
||||
use std::{future::Future, pin::Pin, task::Poll, ptr};
|
||||
use std::task::{Waker, RawWaker, RawWakerVTable, Context};
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
#![feature(generators, generator_trait, never_type)]
|
||||
#![feature(generators, generator_trait)]
|
||||
|
||||
use std::ops::{GeneratorState, Generator};
|
||||
use std::pin::Pin;
|
||||
|
|
|
|||
|
|
@ -1,4 +1,3 @@
|
|||
#![feature(never_type)]
|
||||
#![allow(unreachable_code)]
|
||||
|
||||
#[allow(unused)]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue