bors c4e05e53d1 Auto merge of #136988 - compiler-errors:impossible_predicates, r=lcnr ... Use the new solver in the `impossible_predicates` The old solver is unsound for many reasons. One of which was weaponized by `@lcnr` in #140212, where the old solver was incompletely considering a dyn vtable method to be impossible and replacing its vtable entry with a null value. This null function could be called post-mono. The new solver is expected to be less incomplete due to its correct handling of higher-ranked aliases in relate. This PR switches the `impossible_predicates` query to use the new solver, which patches this UB. r? lcnr		2025-05-15 15:31:24 +00:00
..
src	Auto merge of #136988 - compiler-errors:impossible_predicates, r=lcnr	2025-05-15 15:31:24 +00: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