Remove `body_def_id` from `Inherited` We can just use the body id from the obligation cause. Follow-up to #108945, only my commit is relevant. r? `@cjgillot` cc `@spastorino` |
||
|---|---|---|
| .. | ||
| locales | ||
| src | ||
| Cargo.toml | ||
Remove `body_def_id` from `Inherited` We can just use the body id from the obligation cause. Follow-up to #108945, only my commit is relevant. r? `@cjgillot` cc `@spastorino` |
||
|---|---|---|
| .. | ||
| locales | ||
| src | ||
| Cargo.toml | ||