]>
Commit | Line | Data |
---|---|---|
c620b35d | 1 | //@ compile-flags: -C no-prepopulate-passes |
85aaf69f | 2 | |
9cc50fc6 SL |
3 | #![crate_type = "lib"] |
4 | use std::marker::PhantomData; | |
62682a34 | 5 | |
041b39d2 | 6 | #[derive(Copy, Clone)] |
31ef2f64 FG |
7 | struct Zst { |
8 | phantom: PhantomData<Zst>, | |
9 | } | |
223e47cc | 10 | |
9cc50fc6 | 11 | // CHECK-LABEL: @mir |
041b39d2 | 12 | // CHECK-NOT: store{{.*}}undef |
9cc50fc6 | 13 | #[no_mangle] |
abe05a73 | 14 | pub fn mir() { |
9cc50fc6 | 15 | let x = Zst { phantom: PhantomData }; |
041b39d2 XL |
16 | let y = (x, 0); |
17 | drop(y); | |
18 | drop((0, x)); | |
9cc50fc6 | 19 | } |