summaryrefslogtreecommitdiffstats
path: root/src/test/ui/higher-rank-trait-bounds/issue-58451.rs
blob: f36d549e476b8baa6b04d25125475c8dd3284965 (plain)
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 this function takes 1 argument
}