// revisions: current next
//[next] compile-flags: -Ztrait-solver=next
// run-pass

#![feature(coroutines, coroutine_trait)]
#![allow(dropping_copy_types)]

use std::marker::{PhantomPinned, Unpin};

fn assert_unpin<G: Unpin>(_: G) {
}

fn main() {
    // Even though this coroutine holds a `PhantomPinned` in its environment, it
    // remains `Unpin`.
    assert_unpin(|| {
        let pinned = PhantomPinned;
        yield;
        drop(pinned);
    });
}