4 ms·

I'm kinda bad at these things so I'm not sure. GATs are a form of higher-kinded polymorphism but I'm not sure if they're really equivalent to HKTs. GATs are st

• pcstl 7y ago
  Not particularly close. The feature seems to be progressing slowly, but very deprioritized (which is understandable - Rust has a bit of a reputation for being hard to learn and too feature-heavy, so it's natural for them to focus on stabilizing the language instead of adding new features)
  • steveklabnik 7y ago
    They’re needed for async fn in traits, which feels like a pretty natural extension to async fns, so there’s a really good motivating case for them.