src/tools/rustfmt/tests/target/issue_4954.rs

trait Foo {
    type Arg<'a>;
}

struct Bar<T>(T)
where
    for<'a> T: Foo<Arg<'a> = ()>;