rust/compiler
Matthias Krüger 0270afee31
Rollup merge of #117992 - compiler-errors:sound-but-not-complete, r=lcnr,aliemjay
Don't require intercrate mode for negative coherence

Negative coherence needs to be *sound*, but does not need to be *complete*, since it's looking for the *existence* of a negative goal, not the non-existence of a positive goal.

This removes some trivial and annoying ambiguities when a negative impl has region constraints.

r? lcnr idk if this needs an fcp but if it does, pls kick it off
2023-11-20 20:56:42 +01:00
..
rustc Clean up rustc_*/Cargo.toml. 2023-10-30 08:46:02 +11:00
rustc_abi Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_arena Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_ast Auto merge of #114292 - estebank:issue-71039, r=b-naber 2023-11-17 20:57:12 +00:00
rustc_ast_lowering Rollup merge of #117549 - DaniPopes:more-copied, r=b-naber 2023-11-17 23:04:22 +01:00
rustc_ast_passes Re-format code with new rustfmt 2023-11-15 21:45:48 -05:00
rustc_ast_pretty More detail when expecting expression but encountering bad macro argument 2023-11-16 16:19:04 +00:00
rustc_attr Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_baked_icu_data Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_borrowck Rollup merge of #117835 - Nilstrieb:note-object-lifetime-defaults, r=compiler-errors 2023-11-20 20:56:40 +01:00
rustc_builtin_macros Re-format code with new rustfmt 2023-11-15 21:45:48 -05:00
rustc_codegen_cranelift Merge commit 'def04540a4e2541b995195c752c751295606a388' into sync_cg_clif-2023-11-16 2023-11-16 21:15:07 +00:00
rustc_codegen_gcc Pass TyCtxt by value 2023-11-19 14:04:40 -05:00
rustc_codegen_llvm Auto merge of #117500 - RalfJung:aggregate-abi, r=davidtwco 2023-11-19 18:42:20 +00:00
rustc_codegen_ssa Auto merge of #118082 - compiler-errors:rollup-ejsc8yd, r=matthiaskrgr 2023-11-20 11:24:28 +00:00
rustc_const_eval Rollup merge of #117832 - RalfJung:interpret-shift, r=cjgillot 2023-11-19 19:14:33 -08:00
rustc_data_structures Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_driver Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_driver_impl Auto merge of #118002 - nnethercote:unify-input-no-input, r=bjorn3 2023-11-18 16:43:47 +00:00
rustc_error_codes Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_error_messages Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_errors Remove unnecessary .collect() 2023-11-19 17:50:47 +00:00
rustc_expand More detail when expecting expression but encountering bad macro argument 2023-11-16 16:19:04 +00:00
rustc_feature Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_fluent_macro Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_fs_util Clean up rustc_*/Cargo.toml. 2023-10-30 08:46:02 +11:00
rustc_graphviz Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_hir Add suggestion to THIR unsafe_op_in_unsafe_fn lint 2023-11-06 16:23:09 +00:00
rustc_hir_analysis Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjay 2023-11-19 19:14:35 -08:00
rustc_hir_pretty Fix remaining uses of CaptureBy::Value 2023-11-04 19:48:44 +01:00
rustc_hir_typeck fix rebase 2023-11-19 18:07:22 +00:00
rustc_incremental Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_index Begin nightly-ifying rustc_type_ir 2023-11-18 00:20:00 +00:00
rustc_index_macros Begin nightly-ifying rustc_type_ir 2023-11-18 00:20:00 +00:00
rustc_infer Don't require intercrate mode for negative coherence 2023-11-20 18:49:48 +00:00
rustc_interface Make Compiler::sess private. 2023-11-17 17:30:41 +11:00
rustc_lexer Clean up rustc_*/Cargo.toml. 2023-10-30 08:46:02 +11:00
rustc_lint catch pinned must_use types in unused_must_use 2023-11-18 20:04:50 -08:00
rustc_lint_defs Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwco 2023-11-08 20:42:32 +00:00
rustc_llvm Auto merge of #117875 - Mark-Simulacrum:bootstrap-bump, r=clubby789 2023-11-16 12:45:27 +00:00
rustc_log rustc_log: provide a way to init logging based on the values, not names, of the env vars 2023-11-11 15:24:33 +01:00
rustc_macros Don't sort span_suggestions, leave that to caller 2023-11-19 17:50:45 +00:00
rustc_metadata rename bound region instantiation 2023-11-17 09:29:48 +00:00
rustc_middle Rollup merge of #117851 - compiler-errors:uplift-infer-const, r=spastorino 2023-11-20 20:56:41 +01:00
rustc_mir_build Rollup merge of #117832 - RalfJung:interpret-shift, r=cjgillot 2023-11-19 19:14:33 -08:00
rustc_mir_dataflow rename BorrowKind::Shallow to Fake 2023-11-08 22:55:28 +01:00
rustc_mir_transform Auto merge of #117783 - tmiasko:inline-ret, r=cjgillot 2023-11-20 09:25:26 +00:00
rustc_monomorphize Minimize pub usage in source_map.rs. 2023-11-02 19:35:00 +11:00
rustc_parse Rollup merge of #117988 - estebank:issue-106020, r=cjgillot 2023-11-19 19:14:34 -08:00
rustc_parse_format Auto merge of #117819 - fmease:rustc_parse_format-stable-rustc, r=Nilstrieb 2023-11-15 14:55:35 +00:00
rustc_passes Re-format code with new rustfmt 2023-11-15 21:45:48 -05:00
rustc_privacy Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_query_impl Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_query_system Reduce exposure of things. 2023-11-16 16:49:22 +11:00
rustc_resolve fix rebase 2023-11-19 18:07:22 +00:00
rustc_serialize Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_session change smir to StableMir 2023-11-17 13:28:07 +03:00
rustc_smir use new apis and add new function 2023-11-17 23:28:17 +03:00
rustc_span Remove option_payload_ptr; redundant to offset_of 2023-11-16 22:56:25 +00:00
rustc_symbol_mangling Bump cfg(bootstrap)s 2023-11-15 19:41:28 -05:00
rustc_target Auto merge of #115526 - arttet:master, r=jackh726 2023-11-20 03:11:17 +00:00
rustc_trait_selection Don't require intercrate mode for negative coherence 2023-11-20 18:49:48 +00:00
rustc_traits Remove -Zperf-stats. 2023-11-13 09:45:20 +11:00
rustc_transmute Clean up rustc_*/Cargo.toml. 2023-10-30 08:46:02 +11:00
rustc_ty_utils Auto merge of #117500 - RalfJung:aggregate-abi, r=davidtwco 2023-11-19 18:42:20 +00:00
rustc_type_ir Uplift InferConst to rustc_type_ir 2023-11-20 17:29:31 +00:00
stable_mir use new apis and add new function 2023-11-17 23:28:17 +03:00