Auto merge of #51203 - nnethercote:obligations-2, r=michaelwoerister
Two minor `obligation_forest` tweaks. Pretty minimal improvements, but improvements nonetheless.
Showing
想要评论请 注册 或 登录
Two minor `obligation_forest` tweaks. Pretty minimal improvements, but improvements nonetheless.