Introduce const Trait (always-const trait bounds)
#119099
Merged
const Trait (always-const trait bounds)
#119099