trunk
Replace `:!` binding syntax with phase keywords and contextual defaults (#7479)
Skip `ImplWitnessTable::elements_id` when generating fingerprints (#7629)
Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)
Move `self` to the explicit `()` parameter list (proposal #7016) (#7272)
Resolve cycles in `.Self` replacement in nested designators (#7183)
Omit empty `observe:` blocks from formatted SemIR. (#7487)
Find the current impl from accesses in a named constraint being implemented (#7592)
Avoid symbolic witnesses for `.Self` in an impl decl (#7564)
Anchor the orphan rule on the first owning declaration (#7573)
Make proposal filenames use 6 digits and include the title (#7245)
Do not treat impls in different scopes as redeclarations (#7161)
Require all impls constraints in `impl as` to be satisfied (#7531)