rust/compiler
Guillaume Gomez 0060db74f9
Rollup merge of #115801 - compiler-errors:async-cycle-mono, r=oli-obk
Detect cycle errors hidden by opaques during monomorphization

Opaque types may reveal to projections, which themselves normalize to opaques. We don't currently normalize when checking that opaques are cyclical, and we may also not know that the opaque is cyclical until monomorphization (see `tests/ui/type-alias-impl-trait/mututally-recursive-overflow.rs`).

Detect cycle errors in `normalize_projection_ty` and report a fatal overflow (in the old solver). Luckily, this is already detected as a fatal overflow in the new solver.

Fixes #112047
2023-09-19 20:23:19 +02:00
..
rustc
rustc_abi
rustc_arena
rustc_ast Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compiler-errors 2023-09-17 10:00:15 +00:00
rustc_ast_lowering
rustc_ast_passes
rustc_ast_pretty
rustc_attr
rustc_baked_icu_data
rustc_borrowck Remove RegionHighlightMode::tcx. 2023-09-18 09:37:09 +10:00
rustc_builtin_macros Rollup merge of #115891 - RalfJung:structural-trait-derive, r=nnethercote 2023-09-18 18:27:20 +02:00
rustc_codegen_cranelift move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_codegen_gcc
rustc_codegen_llvm
rustc_codegen_ssa move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_const_eval move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_data_structures use pretty_print_const_value from MIR constant 'extra' printing 2023-09-19 11:06:32 +02:00
rustc_driver
rustc_driver_impl
rustc_error_codes Auto merge of #115334 - RalfJung:transparent-aligned-zst, r=compiler-errors 2023-09-17 15:20:44 +00:00
rustc_error_messages
rustc_errors
rustc_expand
rustc_feature Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compiler-errors 2023-09-17 10:00:15 +00:00
rustc_fluent_macro
rustc_fs_util
rustc_graphviz
rustc_hir
rustc_hir_analysis Don't complain on a single non-exhaustive 1-zst 2023-09-19 06:01:24 +00:00
rustc_hir_pretty
rustc_hir_typeck Auto merge of #115289 - compiler-errors:adjust-comments, r=estebank 2023-09-19 03:52:48 +00:00
rustc_incremental
rustc_index
rustc_infer Auto merge of #115748 - RalfJung:post-mono, r=oli-obk 2023-09-18 19:41:21 +00:00
rustc_interface Auto merge of #114750 - Enselic:metadata-dep-info, r=compiler-errors 2023-09-17 11:45:53 +00:00
rustc_lexer
rustc_lint
rustc_lint_defs Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compiler-errors 2023-09-17 10:00:15 +00:00
rustc_llvm
rustc_log
rustc_macros
rustc_metadata Auto merge of #114750 - Enselic:metadata-dep-info, r=compiler-errors 2023-09-17 11:45:53 +00:00
rustc_middle Rollup merge of #115499 - msizanoen1:riscv-fix-transparent-union-abi, r=bjorn3 2023-09-19 20:23:19 +02:00
rustc_mir_build move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_mir_dataflow
rustc_mir_transform move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_monomorphize move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_parse
rustc_parse_format Rollup merge of #115611 - lukas-code:format!("{r#ident}"), r=compiler-errors 2023-09-17 11:23:25 +00:00
rustc_passes Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compiler-errors 2023-09-17 10:00:15 +00:00
rustc_plugin_impl
rustc_privacy
rustc_query_impl
rustc_query_system
rustc_resolve Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compiler-errors 2023-09-17 10:00:15 +00:00
rustc_serialize
rustc_session Rollup merge of #115869 - ferrocene:pa-fix-tests-cargo-remap, r=compiler-errors 2023-09-19 01:29:41 +02:00
rustc_smir move ConstValue into mir 2023-09-19 11:11:02 +02:00
rustc_span
rustc_symbol_mangling
rustc_target rustc_target/riscv: Fix passing of transparent unions with only one non-ZST member 2023-09-19 12:06:33 +02:00
rustc_trait_selection Explain HRTB + infer limitations of old solver 2023-09-19 05:14:14 +00:00
rustc_traits
rustc_transmute
rustc_ty_utils Don't resolve generic instances if they may be shadowed by dyn 2023-09-19 05:42:23 +00:00
rustc_type_ir make more pretty 2023-09-18 17:29:13 +01:00