trait Trait {
    type AssocType;
}

struct Struct;
struct StructWithLifetime<'a>;

impl<'a> Trait<'a> for Struct {
    type AssocType = StructWithLifetime<'a>;
}