// skip-filecheck | |
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY | |
//@ test-mir-pass: GVN | |
//@ compile-flags: -Zmir-opt-level=1 | |
trait NeedsDrop: Sized { | |
const NEEDS: bool = std::mem::needs_drop::<Self>(); | |
} | |
impl<This> NeedsDrop for This {} | |
// EMIT_MIR control_flow_simplification.hello.GVN.diff | |
// EMIT_MIR control_flow_simplification.hello.PreCodegen.before.mir | |
fn hello<T>(){ | |
if <bool>::NEEDS { | |
panic!() | |
} | |
} | |
pub fn main() { | |
hello::<()>(); | |
hello::<Vec<()>>(); | |
} |