UB: update the extra clause for provenance UB during const evaluation#2091

RalfJung wants to merge 2 commits intorust-lang:masterrust-lang/reference:masterfrom

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