Harmonize using root or leaf obligation in trait error reporting#126142
Merged
bors merged 5 commits intorust-lang:masterfrom Jun 13, 2024
Merged
Harmonize using root or leaf obligation in trait error reporting#126142bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom
Commits
Commits on Jun 13, 2024
- committed
- committed
- committed
- committed
- committed
