trunk
Look outside constant values for designators in `where` constraints (#7367)
Require all impls constraints in `impl as` to be satisfied (#7531)
Omit empty `observe:` blocks from formatted SemIR. (#7487)
Replace `:!` binding syntax with phase keywords and contextual defaults (#7479)
Refactor CppRange interface and fix a crash exposed by doing so. (#7515)