> Well I have no idea what your parent meant, but existential types (types which we assert to exist but don't specify) is in fact already used in Rust

Yes, but it is still quite limited: they are not yet supported as associated type in traits or in type aliases.