Matthias Krüger 68279097d4

Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnr ...

Deeply normalize when computing implied outlives bounds

r? lcnr

Unfortunately resolving regions is still slightly scuffed (though in an unrelated way). Specifically, we should be normalizing our param-env outlives when constructing the `OutlivesEnv`; otherwise, these assumptions (dd2837ec5d/compiler/rustc_infer/src/infer/outlives/env.rs (L78)) are not constructed correctly.

Let me know if you want us to track that somewhere.

2024-12-03 07:48:33 +01:00

..

check

Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnr

2024-12-03 07:48:33 +01:00

coherence

Make PointerLike opt-in as a trait

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

collect

Move Const::{from_anon_const,try_from_lit} to hir_ty_lowering

2024-12-02 19:34:47 +00:00

errors

Clarify implicit captures for RPITIT

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

hir_ty_lowering

Fix broken intra-doc link

2024-12-02 19:34:54 +00:00

impl_wf_check

Fix const specialization

2024-12-02 22:21:53 +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

Remove #[macro_use] extern crate tracing from rustc_hir_analysis.

2024-08-30 17:14:59 +10:00

collect.rs

Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwu

2024-12-01 22:10:23 -05:00

constrained_generic_params.rs

Remove #[macro_use] extern crate tracing from rustc_hir_analysis.

2024-08-30 17:14:59 +10:00

delegation.rs

Effects cleanup

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

errors.rs

Fix const specialization

2024-12-02 22:21:53 +00: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

Rollup merge of #132047 - compiler-errors:rbv-rtn-cleanup, r=cjgillot

2024-12-01 08:15:21 +01:00