src/test/ui/trivial-bounds/trivial-bounds-leak-copy.rs


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

// Check that false Copy bounds don't leak
#![feature(trivial_bounds)]

fn copy_out_string(t: &String) -> String where String: Copy {
    *t
}

fn move_out_string(t: &String) -> String {
    *t //~ ERROR
}

fn main() {}