4 ms·
Existential quantification is type of variable bindings. You can't point to a think that doesn't bind a variable and say it's the same thing.
by Ericson2314 2y ago
Existential quantification is type of variable bindings. You can't point to a think that doesn't bind a variable and say it's the same thing.
- BlackFly 2y agoI have absolutely no idea what you're trying to say. The RPIT will be bound by the caller and there exists a type such that the declared trait is implemented. Meanwhile an impl parameter will be bound within the method with some type existing such that the trait is implemented. That is the implication of existential, "there exists a type such that...".