Erasing Existentials
Summary
The article delves into existential quantification and Rust type system concepts, focusing on dyn Trait vs impl Trait, and explores strategies for handling multi-level existentials through for-exists conversion, associated types, and manual erasure. It includes extensive Rust code examples, discussions, and practical takeaways on how to reason about and implement such patterns. Aimed at developers, it offers deep technical insights and references for further experimentation.