fn foo() -> Box<T + 'f> {}
fn foo() -> Box<dyn T + 'f> {}