about summary refs log tree commit diff
path: root/compiler/rustc_lint/src/methods.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-10-21 22:58:44 +0000
committerbors <bors@rust-lang.org>2024-10-21 22:58:44 +0000
commit814df6e50eaf89b90793e7d9618bb60f1f18377a (patch)
tree2956c1e5072547aefb034bb1416b49c512a5f377 /compiler/rustc_lint/src/methods.rs
parent4392847410ddd67f6734dd9845f9742ff9e85c83 (diff)
parent8ff8f78e4ca8a898697412a3895cb3070f161d1e (diff)
downloadrust-814df6e50eaf89b90793e7d9618bb60f1f18377a.tar.gz
rust-814df6e50eaf89b90793e7d9618bb60f1f18377a.zip
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
Diffstat (limited to 'compiler/rustc_lint/src/methods.rs')
0 files changed, 0 insertions, 0 deletions