| // skip-filecheck |
| // unit-test: DataflowConstProp |
| // compile-flags: -Zmir-enable-passes=+ConstProp,+Inline |
| // ignore-debug assertions change the output MIR |
| // EMIT_MIR_FOR_EACH_BIT_WIDTH |
| // EMIT_MIR_FOR_EACH_PANIC_STRATEGY |
| |
| struct A { |
| foo: Box<[bool]>, |
| } |
| |
| // EMIT_MIR default_boxed_slice.main.ConstProp.diff |
| // EMIT_MIR default_boxed_slice.main.DataflowConstProp.diff |
| fn main() { |
| // ConstProp will create a constant of type `Box<[bool]>`. |
| // Verify that `DataflowConstProp` does not ICE trying to dereference it directly. |
| let a: A = A { foo: Box::default() }; |
| } |
