src/test/ui/mir/mir-inlining/ice-issue-45493.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// run-pass
// compile-flags:-Zmir-opt-level=3

trait Array {
    type Item;
}

fn foo<A: Array>() {
    let _: *mut A::Item = std::ptr::null_mut();
}

struct Foo;
impl Array for Foo { type Item = i32; }

fn main() {
    foo::<Foo>();
}