some const cleanup: remove unnecessary attributes, add const-hack indications#130101

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

RalfJung:const-cleanupRalfJung/rust:const-cleanupCopy head branch name to clipboard