I’ve read this: https://github.com/rust-lang/rfcs/pull/1229
and wonder am I understand it correctly, if at now I write:
then after implementing 1229 I got at least warning during compile time.
So at now I can using assert macros and check constraints at runtime,
and after somebody implement 1229 my
magically become compile time asserts?