#![feature(futures_api, async_await, await_macro)]

pub enum Uninhabited { }

#[inline(always)]
fn uninhabited_async() -> Uninhabited {
    unreachable!()
}

async fn noop() { }

async fn contains_never() {
    let error = uninhabited_async();
    await!(noop());
    let error2 = error;
}

fn main() {
    contains_never();
}