fn take_copy<T: Copy>(t: T) -> T {
    t
}

fn main() {
    take_copy(())
}