mention the extra const UB#1273

ehuss merged 1 commit into

rust-lang:masterrust-lang/reference:masterfrom

RalfJung:const-ubRalfJung/reference:const-ubCopy head branch name to clipboard