bors 1d6010816c Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakis ...

Obligation forest tweaks

A few minor improvements to the code.

r? `@nikomatsakis`

2022-06-20 10:58:56 +00:00

..

src

Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakis

2022-06-20 10:58:56 +00:00

Cargo.toml

Rollup merge of #89461 - crlf0710:dyn_upcasting_lint, r=nikomatsakis

2021-10-07 16:24:49 +02:00