tests/ui/traits/next-solver/deduce-closure-signature-after-normalization.rs


1
2
3
4
5
6
7
8
9
10

// compile-flags: -Znext-solver
// check-pass

trait Foo {
    fn test() -> impl Fn(u32) -> u32 {
        |x| x.count_ones()
    }
}

fn main() {}