]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
6a06907d | 2 | // compile-flags:-Zmir-opt-level=3 |
abe05a73 XL |
3 | |
4 | trait Array { | |
5 | type Item; | |
6 | } | |
7 | ||
8 | fn foo<A: Array>() { | |
9 | let _: *mut A::Item = std::ptr::null_mut(); | |
ea8adc8c | 10 | } |
abe05a73 XL |
11 | |
12 | struct Foo; | |
13 | impl Array for Foo { type Item = i32; } | |
14 | ||
223e47cc | 15 | fn main() { |
abe05a73 | 16 | foo::<Foo>(); |
223e47cc | 17 | } |