tests/ui/higher-rank-trait-bounds/issue-58451.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// Regression test for #58451:
//
// Error reporting here encountered an ICE in the shift to universes.

fn f<I>(i: I)
where
    I: IntoIterator,
    I::Item: for<'a> Into<&'a ()>,
{}

fn main() {
    f(&[f()]); //~ ERROR function takes 1 argument
}