tests/source/issue_4911.rs

#![feature(min_type_alias_impl_trait)]

impl SomeTrait for SomeType {
    type SomeGAT<'a> where Self: 'a = impl SomeOtherTrait;
}