In Rust neither is duck typed. For T you must specify the traits it must have. This makes compilation fail at definition, not at the point of incorrect usage.

For an example of GATs, you can see the following:

https://play.rust-lang.org/?version=stable&mode=debug&editio...