tests/ui/traits/next-solver/prefer-param-env-on-ambiguity.rs

//@ compile-flags: -Znext-solver
//@ check-pass

trait Foo<'a> {}
trait Bar<'a> {}

impl<'a, T: Bar<'a>> Foo<'a> for T {}
impl<T> Bar<'static> for T {}

fn main() {}