Re:Rust stabilizes generic associated types
by kibwen on Tuesday September 13, 2022 @05:57PM
(#32830695)
Please elaborate? Keep in mind that Rust isn't about making the simplest or most expressive language possible. Rather, it's about pushing the envelope on what sort of expressiveness we can soundly get away with while still benefiting from mechanical sympathy given the current state-of-the-art of optimizing compilers (and, also, while not being so foreign as to cause C-style language programmers to run away screaming).
[ Parent
| on HN ]
Re:Rust stabilizes generic associated types
by downvotetruth on Tuesday September 13, 2022 @07:01PM
(#32831243)
It's labeled "stable", but this seems to require a bit more understanding by implementers than simple composition to safely use, specifically the part about "where clauses [being] required when those bounds can be proven in the methods that construct the GAT or other associated types that use the GAT in the trait".