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 (https://github.com/rust-lang/rust/blob/dd2837ec5de4301a692e05a7c4475e980af57a57/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

..

rustc

Auto merge of #132282 - Noratrieb:it-is-the-end-of-serial, r=cjgillot

2024-11-12 15:14:56 +00:00

rustc_abi

Auto merge of #130867 - michirakara:steps_between, r=dtolnay

2024-11-22 10:54:22 +00:00

rustc_arena

move strict provenance lints to new feature gate, remove old feature gates

2024-10-21 15:22:17 +01:00

rustc_ast

Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxu

2024-12-02 23:08:58 +01:00

rustc_ast_ir

Add sugar for &pin (const|mut) types

2024-10-07 11:15:04 -07:00

rustc_ast_lowering

Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxu

2024-12-02 23:08:58 +01:00

rustc_ast_passes

Refactor where predicates, and reserve for attributes support

2024-11-25 16:38:35 +08:00

rustc_ast_pretty

Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxu

2024-12-02 23:08:58 +01:00

rustc_attr

ensure that all publicly reachable const fn have const stability info

2024-11-10 10:16:26 +01:00

rustc_baked_icu_data

Delete the cfg(not(parallel)) serial compiler

2024-11-12 13:38:58 +00:00

rustc_borrowck

uplift fold_regions to rustc_type_ir

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

rustc_builtin_macros

update cfgs

2024-11-27 15:14:54 +00:00

rustc_codegen_cranelift

Rollup merge of #133395 - calebzulawski:simd_relaxed_fma, r=workingjubilee

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

rustc_codegen_gcc

Rollup merge of #133395 - calebzulawski:simd_relaxed_fma, r=workingjubilee

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

rustc_codegen_llvm

Rollup merge of #133395 - calebzulawski:simd_relaxed_fma, r=workingjubilee

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

rustc_codegen_ssa

Rollup merge of #133041 - madsmtm:print-deployment-target-env-var, r=davidtwco

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

rustc_const_eval

fix ICE when promoted has layout size overflow

2024-12-01 19:52:27 +01:00

rustc_data_structures

Assert that obligations are empty before deeply normalizing

2024-12-02 22:51:18 +00:00

rustc_driver

…

rustc_driver_impl

Rollup merge of #133041 - madsmtm:print-deployment-target-env-var, r=davidtwco

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

rustc_error_codes

Use c"lit" for CStrings without unwrap

2024-12-02 18:16:36 +00:00

rustc_error_messages

Delete the cfg(not(parallel)) serial compiler

2024-11-12 13:38:58 +00:00

rustc_errors

Eliminate magic numbers from expression precedence

2024-11-30 17:53:40 -08:00

rustc_expand

Change AttrArgs::Eq into a struct variant

2024-12-02 10:28:58 +00:00

rustc_feature

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

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

rustc_fluent_macro

use tracked_path in rustc_fluent_macro

2024-10-19 22:32:38 +08:00

rustc_fs_util

…

rustc_graphviz

…

rustc_hir

Rollup merge of #133603 - dtolnay:precedence, r=lcnr

2024-12-02 17:36:03 +01:00

rustc_hir_analysis

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

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

rustc_hir_pretty

Rollup merge of #133603 - dtolnay:precedence, r=lcnr

2024-12-02 17:36:03 +01:00

rustc_hir_typeck

Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errors

2024-12-02 17:36:11 +01:00

rustc_incremental

Move some code from Compiler::enter to GlobalCtxt::finish

2024-11-09 17:55:39 +00:00

rustc_index

Remove HybridBitSet.

2024-11-29 17:23:34 +11:00

rustc_index_macros

Auto merge of #130867 - michirakara:steps_between, r=dtolnay

2024-11-22 10:54:22 +00:00

rustc_infer

Assert that obligations are empty before deeply normalizing

2024-12-02 22:51:18 +00:00

rustc_interface

Rollup merge of #133590 - nnethercote:rename-parse-only, r=estebank

2024-11-29 10:19:00 +01:00

rustc_lexer

Revert "Reject raw lifetime followed by \' as well"

2024-12-01 05:22:16 +00:00

rustc_lint

remove Ty::is_copy_modulo_regions

2024-12-02 13:57:56 +01:00

rustc_lint_defs

Rollup merge of #133535 - RalfJung:forbidden_lint_groups-future-compat, r=davidtwco

2024-12-02 23:08:53 +01:00

rustc_llvm

Respect verify-llvm-ir option in the backend

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

rustc_log

…

rustc_macros

give a better error for tuple structs in derive(Diagnostic)

2024-10-27 21:23:28 -04:00

rustc_metadata

Rollup merge of #132750 - daltenty:daltenty/libs, r=jieyouxu

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

rustc_middle

Rollup merge of #133704 - RalfJung:promoted-size-overflow-ice, r=compiler-errors

2024-12-02 23:08:55 +01:00

rustc_mir_build

remove Ty::is_copy_modulo_regions

2024-12-02 13:57:56 +01:00

rustc_mir_dataflow

Simplify ResultsHandle.

2024-12-02 16:19:17 +11:00

rustc_mir_transform

Rollup merge of #133732 - nnethercote:fix-Z-dump-mir-dataflow, r=compiler-errors

2024-12-02 23:08:57 +01:00

rustc_monomorphize

Share inline(never) generics across crates

2024-11-28 13:43:05 -05:00

rustc_next_trait_solver

support revealing defined opaque post borrowck

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

rustc_parse

Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxu

2024-12-02 23:08:58 +01:00

rustc_parse_format

Remove 'apostrophes' from rustc_parse_format

2024-10-14 23:22:51 +02:00

rustc_passes

Refactor where predicates, and reserve for attributes support

2024-11-25 16:38:35 +08:00

rustc_pattern_analysis

no more Reveal :(

2024-11-23 13:52:54 +01:00

rustc_privacy

Simplify some places that deal with generic parameter defaults

2024-11-11 21:29:18 +01:00

rustc_query_impl

Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillot

2024-11-27 22:23:24 +01:00

rustc_query_system

Auto merge of #124780 - Mark-Simulacrum:lockless-cache, r=lcnr

2024-11-19 02:07:48 +00:00

rustc_resolve

Add a helper method for extracting spans from AttrArgsEq

2024-12-02 11:04:57 +00:00

rustc_sanitizers

use TypingEnv when no infcx is available

2024-11-18 10:38:56 +01:00

rustc_serialize

Fix explicit_iter_loop in rustc_serialize

2024-10-16 15:44:16 +02:00

rustc_session

impl Default for EarlyDiagCtxt

2024-12-02 09:55:04 -05:00

rustc_smir

Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillot

2024-11-27 22:23:24 +01:00

rustc_span

Rollup merge of #133395 - calebzulawski:simd_relaxed_fma, r=workingjubilee

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

rustc_symbol_mangling

additional TypingEnv cleanups

2024-11-19 21:36:23 +01:00

rustc_target

Auto merge of #133684 - RalfJung:rollup-j2tmrg7, r=RalfJung

2024-11-30 21:08:45 +00:00

rustc_trait_selection

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

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

rustc_traits

Delay a bug when encountering an impl with unconstrained generics in codegen_select

2024-11-23 05:27:45 +00:00

rustc_transmute

use TypingEnv when no infcx is available

2024-11-18 10:38:56 +01:00

rustc_ty_utils

remove Ty::is_copy_modulo_regions

2024-12-02 13:57:56 +01:00

rustc_type_ir

Auto merge of #133566 - lcnr:fast-reject-perf, r=compiler-errors

2024-12-02 09:19:20 +00:00

rustc_type_ir_macros

do not relate Abi and Safety

2024-10-22 23:13:04 +02:00

stable_mir

Rollup merge of #132161 - celinval:smir-fix-indent, r=compiler-errors

2024-11-08 18:51:28 +11:00