tests/run-make/lib-trait-for-trait-no-ice/foo.rs

trait Foo {}

trait Bar {}

impl<'a> Foo for Bar + 'a {}