tests/ui/impl-trait/generic-with-implicit-hrtb-without-dyn.rs


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

//@ revisions: edition2015 edition2021
//@[edition2021]edition:2021

#![allow(warnings)]

fn ice() -> impl AsRef<Fn(&())> {
    //[edition2015]~^ ERROR: the trait bound `(): AsRef<(dyn for<'a> Fn(&'a ()) + 'static)>` is not satisfied [E0277]
    //[edition2021]~^^ ERROR: expected a type, found a trait [E0782]
    //[edition2021]~| ERROR: expected a type, found a trait [E0782]
    todo!()
}

fn main() {}