Comment by mrkgnao | Hacker News Reader

Comment by mrkgnao | Hacker News Reader

Parent Full thread

Would that be related to an existential type of the form

    foo :: a -> (forall b. Show b => b)

from Haskell?

Yes, it is. Generics are universals and impl Trait is extisentials. For more, the RFC gets into it https://github.com/rust-lang/rfcs/blob/master/text/1951-expa...

Reply on news.ycombinator.com