Breaking Down Rust’s Existential Types: The Quest for Complex Trait Quantifiers

Exploring the complexities of dyn Trait and impl Trait in Rust, and the theoretical challenge of existential quantification over multiple type variables.