0
0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-28 21:12:18 +01:00
rust/compiler/rustc_trait_selection
Michael Goulet 766db8161b
Rollup merge of #112965 - compiler-errors:circular-wf, r=aliemjay
Don't emit same goal as input during `wf::unnormalized_obligations`

r? `@aliemjay` cc `@lcnr`

I accidentally pruned the logic to handle `WF(?0)` when writing `wf::unnormalized_obligations`.

idk if you wanted to construct a test first, but this is an obvious fix. Copied the comment from above.

Fixes rust-lang/trait-system-refactor-initiative#36
2023-06-23 19:47:21 -07:00
..
src
Cargo.toml
messages.ftl