[avgcorrection]

> I feel like they are making languages too complicated.

Perhaps. But this topic is not a natural springboard for that topic since GATs are about lifting a current restriction in Rust. So you have the same features as yesterday, but with one less (arbitrary-looking) restriction.

Maybe it makes the language more complicated to implement (?) but it doesn’t make it more complicated for the language user.