//@ compile-flags: -Zvalidate-mir

// Regression test for <https://github.com/rust-lang/rust/issues/141394>.

#![feature(unsafe_binders)]
#![allow(incomplete_features)]

use std::unsafe_binder::unwrap_binder;

fn id<T>(x: unsafe<> T) -> T {
    //~^ ERROR the trait bound `T: Copy` is not satisfied
    unsafe { unwrap_binder!(x) }
}

fn main() {}