trunk
Skip `ImplWitnessTable::elements_id` when generating fingerprints (#7629)
Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)
Omit empty `observe:` blocks from formatted SemIR. (#7487)
Require all impls constraints in `impl as` to be satisfied (#7531)
Destroy temporaries at the end of expression statements. (#7513)