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

Rollup merge of #112965 - compiler-errors:circular-wf, r=aliemjay

2023-06-23 19:47:21 -07:00

Cargo.toml

drop unused deps, gate libc under unix for one crate

2023-04-22 15:22:21 +03:00

messages.ftl

Ensure Fluent messages are in alphabetical order

2023-05-25 23:49:35 +00:00