2019-05-24 21:49:34 +01:00
|
|
|
// run-pass
|
|
|
|
|
|
2019-05-05 17:23:47 -07:00
|
|
|
// compile-flags: --edition=2018
|
|
|
|
|
|
|
|
|
|
#![feature(async_await, await_macro)]
|
|
|
|
|
|
|
|
|
|
pub enum Uninhabited { }
|
|
|
|
|
|
|
|
|
|
fn uninhabited_async() -> Uninhabited {
|
|
|
|
|
unreachable!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
async fn noop() { }
|
|
|
|
|
|
|
|
|
|
#[allow(unused)]
|
|
|
|
|
async fn contains_never() {
|
|
|
|
|
let error = uninhabited_async();
|
|
|
|
|
await!(noop());
|
|
|
|
|
let error2 = error;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[allow(unused_must_use)]
|
|
|
|
|
fn main() {
|
|
|
|
|
contains_never();
|
|
|
|
|
}
|