blob: e72a2d8ccc629e9943587e09ee5551f10a907746 [file] [log] [blame]
trait Bar {}
impl Bar for u8 {}
fn foo() -> impl Bar {
5; //~^ ERROR the trait bound `(): Bar` is not satisfied
}
fn main() {}