Document some invariants correctly/more#73728

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:const_prop_cleanupoli-obk/rust:const_prop_cleanupCopy head branch name to clipboard