rust/compiler/rustc_trait_selection
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
..
src Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnr 2024-10-21 22:58:44 +00:00
Cargo.toml Swap PredicateObligation to ThinVec 2024-10-12 15:17:16 +01:00
messages.ftl Emit specific message for time<0.3.35 inference failure 2024-08-28 22:53:02 +00:00