News for hackers. Stuff that matters.

A comment on Rust: “Explain GATs Like I'm 5 Years Old”. Parent comment

Re:Rust: “Explain GATs Like I'm 5 Years Old” by mrkeen on Monday November 07, 2022 @10:14AM (#33506834)
T keeps its type info statically. So if you put a Set in, you can get a Set out.

Casting to Collection loses the static type info, so you couldn't write foo(bar(set)) if bar returned a Collection but foo accepted a Set.

[ Parent | on HN ]

There are no comments on this comment yet.