bors 4ccbb7dc95 Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr ...

Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item.

This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely (not done in this PR)

The only behaviour change is in diagnostics.

r? `@lcnr` `@compiler-errors`

2024-03-11 19:01:15 +00:00

..

astconv

Rollup merge of #119385 - fmease:assoc-const-eq-fixes-2, r=oli-obk,cjgillot

2024-03-11 09:29:33 -07:00

check

Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item.

2024-03-11 17:19:37 +00:00

coherence

Rollup merge of #121840 - oli-obk:freeze, r=dtolnay

2024-03-11 03:47:19 -04:00

collect

Auto merge of #122338 - workingjubilee:rollup-xzpt4v4, r=workingjubilee

2024-03-11 16:51:54 +00:00

impl_wf_check

…

outlives

Never bail out early while running all the type check queries

2024-03-11 08:43:50 +00:00

structured_errors

Rename StructuredDiagnostic as StructuredDiag.

2024-03-05 12:15:12 +11:00

variance

Never bail out early while running all the type check queries

2024-03-11 08:43:50 +00:00

autoderef.rs

…

bounds.rs

…

check_unused.rs

…

collect.rs

Auto merge of #121500 - oli-obk:track_errors12, r=petrochenkov

2024-03-08 15:06:36 +00:00

constrained_generic_params.rs

Convert TypeVisitor and DefIdVisitor to use VisitorResult

2024-03-05 13:28:15 -05:00

errors.rs

Rename IntoDiagnostic as Diagnostic.

2024-03-11 09:15:09 +11:00

hir_wf_check.rs

…

impl_wf_check.rs

Merge check_mod_impl_wf and check_mod_type_wf

2024-03-07 06:27:09 +00:00

lib.rs

Run a single huge par_body_owners instead of many small ones after each other.

2024-03-11 08:48:03 +00:00

structured_errors.rs

Rename StructuredDiagnostic as StructuredDiag.

2024-03-05 12:15:12 +11:00