> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondencepedantic nooball content CC BY-SA 4.0#nobot> i am not a book about me .> https://git.sr.ht/~carnotweat/morning-rust
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondencepedantic nooball content CC BY-SA 4.0#nobot> i am not a book about me .> https://git.sr.ht/~carnotweat/morning-rust
@rust @learningrustandlemmyI might have missed some subtle syntactical difference here, I guessaas in
Vec<...>is a type definition, andVec::<...>is referring to the struct itself, but with a type parameter given.context - https://www.reddit.com/r/learnrust/comments/exmqyc/what_are_the_rules_for_turbofish/