Matthias Krüger 8c14588fbb Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnr ... Make well-formedness predicates no longer coinductive This PR makes well-formedness no longer coinductive. It was made coinductive in https://github.com/rust-lang/rust/pull/98542, but AFAICT this was only to fix UI tests since we stopped lowering `where Ty:` to an empty-region outlives predicate but to a WF predicate instead. Arguably it should lower to something completely different, something like a "type mentioned no-op predicate", but well-formedness serves this purpose fine today, and since no code (according to crater) relies on this coinductive behavior, we'd like to avoid having to emulate it in the new solver. Fixes #123456 (I didn't want to add a test since it seems low-value to have a ICE test for a fuzzer minimization that is basically garbage code.) Fixes #109764 (not sure if this behavior is emulatable w/o coinductive WF?) Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/169 r? lcnr		2025-05-17 10:33:08 +02:00
..
src	Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnr	2025-05-17 10:33:08 +02:00
Cargo.toml	support duplicates in the opaque_types_storage	2025-05-06 14:59:09 +00:00
messages.ftl	Disarm time bomb (diagnostics)	2025-05-09 12:09:15 +02:00