Ok let's try again. We've been working in integrating an small symbolic execution into rustc with @oli_obk. Yesterday we got the compiler to accept the following program: https://play.integer32.com/?version=stable&mode=debug&edition=2018&gist=0428ea00b6d256b70371bcfa06b1783a …
-
-
Actually; what *is* the difference between this and dependent types? If this would extend to arbitrary types, const expressions, then what's the difference even? :O
-
I'd say there are 3 differences: - We only support constants instead of any expression - You cannot write a function that returns a type. - This is "still" generics, dependent types are introduced in different ways iirc.
- 1 more reply
New conversation -
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.