bors a32978a5e8 Auto merge of #114023 - compiler-errors:coinductive-cycle-lint, r=lcnr ... Warn on inductive cycle in coherence leading to impls being considered not overlapping This PR implements a `coinductive_overlap_in_coherence` lint (#114040), which warns users against cases where two impls are considered **not** to overlap during coherence due to an inductive cycle disproving one of the predicates after unifying the two impls. Cases where this lint fires will become an overlap error if we ever move to coinduction, so I'd like to make this a warning to avoid having more crates take advantage of this behavior in the mean time. Also, since the new trait solver treats inductive cycles as ambiguity, not an error, this is a blocker for landing the new trait solver in coherence.		2023-08-15 06:36:05 +00:00
..
rustc
rustc_abi
rustc_arena
rustc_ast
rustc_ast_lowering	Remove constness from ImplSource::Param	2023-08-14 02:17:30 +00:00
rustc_ast_passes	rustc: Move features from Session to GlobalCtxt	2023-08-11 16:51:50 +08:00
rustc_ast_pretty
rustc_attr	rustc: Move features from Session to GlobalCtxt	2023-08-11 16:51:50 +08:00
rustc_baked_icu_data
rustc_borrowck	review	2023-08-14 15:27:14 +02:00
rustc_builtin_macros	rustc: Move features from Session to GlobalCtxt	2023-08-11 16:51:50 +08:00
rustc_codegen_cranelift	reverse change in rustc_codegen_cranelift	2023-08-15 00:09:20 +08:00
rustc_codegen_gcc	add a csky-unknown-linux-gnuabiv2 target	2023-08-14 23:02:36 +08:00
rustc_codegen_llvm	Upgrade Object and related deps	2023-08-14 23:05:45 +08:00
rustc_codegen_ssa	Upgrade Object and related deps	2023-08-14 23:05:45 +08:00
rustc_const_eval	Remove constness from ImplSource::Param	2023-08-14 02:17:30 +00:00
rustc_data_structures
rustc_driver
rustc_driver_impl
rustc_error_codes
rustc_error_messages
rustc_errors
rustc_expand	rustc: Move features from Session to GlobalCtxt	2023-08-11 16:51:50 +08:00
rustc_feature	Update compiler/rustc_feature/src/active.rs	2023-08-15 02:13:17 +08:00
rustc_fluent_macro
rustc_fs_util
rustc_graphviz
rustc_hir	Bugfix: 'can_have_side_effects()' would return 'false' for struct/enum/array/tuple literals unless *all* sub-expressions had side effects. This would easily allow side effects to slip through, and also wrongly label empty literals as having side effects. Add some tests for the last point	2023-08-10 02:26:11 +02:00
rustc_hir_analysis	Rollup merge of #114752 - RickleAndMortimer:issue-113788-fix, r=compiler-errors	2023-08-14 21:57:51 +02:00
rustc_hir_pretty
rustc_hir_typeck	Fix typo	2023-08-11 18:23:57 +05:30
rustc_incremental	Pass WorkProductMap to build_dep_graph instead of FxIndexMap	2023-08-13 16:07:48 +00:00
rustc_index
rustc_infer	Don't crash when reporting nice region errors for generic const items	2023-08-12 15:34:28 +02:00
rustc_interface	Fix review comment	2023-08-14 16:16:51 +00:00
rustc_lexer
rustc_lint	match scrutinee need necessary parentheses for structs	2023-08-14 18:05:13 +08:00
rustc_lint_defs	more nits	2023-08-15 03:44:21 +00:00
rustc_llvm	add a csky-unknown-linux-gnuabiv2 target	2023-08-14 23:02:36 +08:00
rustc_log
rustc_macros
rustc_metadata	Remove metadata_loader query	2023-08-13 16:38:50 +00:00
rustc_middle	more span info	2023-08-15 03:40:19 +00:00
rustc_mir_build	Remove unnecessary FIXME	2023-08-14 20:52:17 +03:00
rustc_mir_dataflow
rustc_mir_transform	Store BCB counters externally, not directly in the BCB graph	2023-08-13 12:18:06 +10:00
rustc_monomorphize
rustc_parse	Remove reached_eof from ParseSess	2023-08-13 13:33:37 +00:00
rustc_parse_format
rustc_passes	Remove reached_eof from ParseSess	2023-08-13 13:33:37 +00:00
rustc_plugin_impl
rustc_privacy
rustc_query_impl
rustc_query_system	Pass WorkProductMap to build_dep_graph instead of FxIndexMap	2023-08-13 16:07:48 +00:00
rustc_resolve	rustc: Move features from Session to GlobalCtxt	2023-08-11 16:51:50 +08:00
rustc_serialize
rustc_session	Remove reached_eof from ParseSess	2023-08-13 13:33:37 +00:00
rustc_smir	Rollup merge of #114745 - ouz-a:smir_const, r=spastorino	2023-08-14 21:57:51 +02:00
rustc_span	add rustc_codegen_ssa support for csky and correct some code	2023-08-14 23:02:36 +08:00
rustc_symbol_mangling	Auto merge of #114672 - lenawanel:master, r=compiler-errors	2023-08-11 09:30:41 +00:00
rustc_target	Upgrade Object and related deps	2023-08-14 23:05:45 +08:00
rustc_trait_selection	more nits	2023-08-15 03:44:21 +00:00
rustc_traits
rustc_transmute
rustc_ty_utils	Rollup merge of #114670 - compiler-errors:issue-114660, r=cjgillot	2023-08-09 23:00:00 +02:00
rustc_type_ir	Comment nits	2023-08-10 23:22:03 +00:00