src/test/run-make-fulldeps/issue-18943/foo.rs

trait Foo { }

trait Bar { }

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