bors 4af7fa79a0 Auto merge of #133365 - compiler-errors:compare-impl-item, r=lcnr ...

Make `compare_impl_item` into a query

Turns `compare_impl_item` into a query (generalizing the existing query for `compare_impl_const`), and uses that in `Instance::resolve` to fail resolution when an implementation is incompatible with the trait it comes from.

Fixes #119701
Fixes #121127
Fixes #121411
Fixes #129075
Fixes #129127
Fixes #129214
Fixes #131294

2024-12-01 01:59:24 +00:00

..

check

Move refinement check out of compare_impl_item

2024-11-30 16:45:01 +00:00

coherence

Make PointerLike opt-in as a trait

2024-11-20 16:36:12 +00:00

collect

uplift fold_regions to rustc_type_ir

2024-11-28 10:40:58 +01:00

errors

Clarify implicit captures for RPITIT

2024-10-10 11:46:51 -07:00

hir_ty_lowering

uplift fold_regions to rustc_type_ir

2024-11-28 10:40:58 +01:00

impl_wf_check

Simplify fulfill_implication

2024-11-22 01:03:17 +00:00

outlives

Implement const effect predicate in new solver

2024-10-24 09:46:36 +00:00

variance

Add variances to RPITITs

2024-10-10 11:46:48 -07:00

autoderef.rs

Swap Vec<PredicateObligation> to type alias

2024-10-12 15:17:08 +01:00

bounds.rs

Merge HostPolarity and BoundConstness

2024-10-30 16:23:16 +00:00

check_unused.rs

…

collect.rs

uplift fold_regions to rustc_type_ir

2024-11-28 10:40:58 +01:00

constrained_generic_params.rs

…

delegation.rs

Effects cleanup

2024-10-26 10:19:07 +08:00

errors.rs

Rollup merge of #116161 - Soveu:varargs2, r=cjgillot

2024-11-30 12:56:50 +08:00

hir_wf_check.rs

uplift fold_regions to rustc_type_ir

2024-11-28 10:40:58 +01:00

impl_wf_check.rs

nightly feature tracking: get rid of the per-feature bool fields

2024-10-23 09:14:41 +01:00

lib.rs

Stabilize extended_varargs_abi_support

2024-11-27 22:21:33 +01:00