4 ms·
Would that be related to an existential type of the form foo :: a -> (forall b. Show b => b) from Haskell?
by mrkgnao 9y ago
Would that be related to an existential type of the form
foo :: a -> (forall b. Show b => b)
from Haskell?
- steveklabnik 9y agoYes, 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-expand-impl-trait.md#universals-any-versus-existentials-some https://github.com/rust-lang/rfcs/blob/master/text/1951-expa...