tests/ui/unsafe/move-out-of-non-copy.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ 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() {}