Require generic associated types

[dhardy]

This depends on Rust 1.65.0 (assuming the support for GATs currently in Beta reaches stable as expected).