Hmm, am I understanding it correctly that if we get ad-hoc sum types you could use these as refinement types for enum members? E.g. if there's and enum with 9 members, and have a fn that should only accept 2 of those you could use an anon sum type for it https://internals.rust-lang.org/t/pre-rfc-anonymous-variant-types/8707 …
-
-
Replying to @yoshuawuyts
Not exactly, that's requires a separate feature, variant types. This featurd enables quick and dirty variant passing but you still have to do a manual conversion somewhere
1 reply 0 retweets 3 likes
Replying to @ManishEarth
Ah okay, thanks for clarifying! :D
3:22 AM - 28 Oct 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.