2023-01-02 07:29:56 -06:00
|
|
|
#![feature(type_alias_impl_trait)]
|
|
|
|
|
|
|
|
|
|
pub trait TraitWithAssoc {
|
|
|
|
|
type Assoc;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub type Foo<V> = impl Trait<V::Assoc>;
|
|
|
|
|
//~^ ERROR
|
2024-03-20 11:52:54 -05:00
|
|
|
//~| ERROR
|
2023-01-02 07:29:56 -06:00
|
|
|
|
|
|
|
|
pub trait Trait<U> {}
|
|
|
|
|
|
|
|
|
|
impl<W> Trait<W> for () {}
|
|
|
|
|
|
|
|
|
|
pub fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
|
|
|
|
|
()
|
|
|
|
|
}
|
