New const traits syntax#139858

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

oli-obk:new-const-traits-syntaxoli-obk/rust:new-const-traits-syntaxCopy head branch name to clipboard