trait AssocTrait {
    type AItem;
}

impl AssocTrait for () {
    type AItem = ();
}

trait Trait: AssocTrait<AItem = <Self as Trait>::Item> {
    type Item: std::fmt::Debug;
}


impl <A> dyn Trait<AItem = A, Item = A> {

}

fn main() {}