New tracking issues for const_ops and const_cmp#143803

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:const-trait-trackingRalfJung/rust:const-trait-trackingCopy head branch name to clipboard