trunk
Replace `:!` binding syntax with phase keywords and contextual defaults (#7479)
Omit empty `observe:` blocks from formatted SemIR. (#7487)