Rollup merge of #60572 - tmandry:issue-59972, r=RalfJung,oli-obk

Add test for #59972

This PR adds a test for #59972, which was fixed in #59897.

Closes #59972.

r? @eddyb
This commit is contained in:
Mazdak Farrokhzad 2019-05-09 00:58:26 +02:00 committed by GitHub
commit b04f87fede
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -0,0 +1,23 @@
// 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();
}