// check-pass fn main() { let _unused = if true { core::ptr::copy:: } else { core::ptr::copy_nonoverlapping:: }; }