tests/ui/mir/mir-inlining/ice-issue-45493.rs

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