interpret/validity: separately control checking numbers for being init and non-ptr#97185

Merged

bors merged 3 commits intorust-lang:masterfrom RalfJung:number-validity

May 20, 2022

+75-54

Commits on May 19, 2022