bors 814df6e50e Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnr ... Dont consider predicates that may hold as impossible in `is_impossible_associated_item` Use infer vars to account for ambiguities when considering if methods are impossible to instantiate for a given self type. Also while we're at it, let's use the new trait solver instead of `evaluate` since this is used in rustdoc. r? lcnr Fixes #131839		2024-10-21 22:58:44 +00:00
..
error_reporting	Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgr	2024-10-21 06:13:34 +00:00
errors	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
solve	Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors	2024-10-17 20:47:31 +02:00
traits	Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnr	2024-10-21 22:58:44 +00:00
errors.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
infer.rs	move defining_opaque_types out of Canonical	2024-10-17 10:22:52 +02:00
lib.rs	Stabilize the map/value methods on ControlFlow	2024-09-25 19:00:17 -07:00
regions.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
solve.rs	impossible obligations check fast path	2024-10-10 06:09:50 -04:00