UB definition: mention size_of_val for determining a reference's span#793

Centril merged 1 commit intorust-lang:masterrust-lang/reference:masterfrom

RalfJung:size-of-valRalfJung/reference:size-of-valCopy head branch name to clipboard