4lDO2 / real-async-trait-rs Star 45 Code Issues Pull requests A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure hkt proc-macro existential-types higher-kinded-types proc-macro-attributes async-trait generic-associated-types Updated Jun 11, 2022 Rust
rmehri01 / bidirectional Star 6 Code Issues Pull requests ↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust. rust existential-types bidirectional-typechecking Updated Nov 10, 2023 Rust
dmkolobov / genz Star 1 Code Issues Pull requests Uniqueness of types via invariant lifetimes. rust types safety existential-types Updated Mar 14, 2024 Rust