Make sure trait def ids match before zipping args in `note_function_argument_obligation`#127780

Merged

bors merged 1 commit intorust-lang:masterfrom compiler-errors:zip-args

Jul 16, 2024

+98-20

Commits on Jul 15, 2024

Make sure trait def ids match before zipping args in note_function_argument_obligation
compiler-errors
committed