src/test/ui/higher-rank-trait-bounds/issue-58451.rs

   1 // Regression test for #58451:
   2 //
   3 // Error reporting here encountered an ICE in the shift to universes.
   4
   5 fn f<I>(i: I)
   6 where
   7     I: IntoIterator,
   8     I::Item: for<'a> Into<&'a ()>,
   9 {}
  10
  11 fn main() {
  12     f(&[f()]); //~ ERROR this function takes 1 argument
  13 }