In https://github.com/rust-lang/rfcs/blob/master/text/3016-const-ub.md we decided on the rules for const UB. In particular, a compile error is not guaranteed when a const has UB. I think this is currently not (yet) reflected anywhere in the Reference.
In https://github.com/rust-lang/rfcs/blob/master/text/3016-const-ub.md we decided on the rules for const UB. In particular, a compile error is not guaranteed when a const has UB. I think this is currently not (yet) reflected anywhere in the Reference.