rust/compiler
bors 4fa76a4a77 Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebank
Fix expected/found order on impl trait projection mismatch error

fixes #68561

This PR adds a new `ObligationCauseCode` used when checking the concrete type of an impl trait satisfies its bounds, and checks for that cause code in the existing test to see if a projection's normalized type should be the "expected" or "found" type.

The second commit adds a `peel_derives` to that test, which appears to be necessary in some cases (see projection-mismatch-in-impl-where-clause.rs, which would still give expected/found in the wrong order otherwise). This caused some other changes in diagnostics not involving impl trait, but they look correct to me.
2021-04-02 03:39:32 +00:00
..
rustc
rustc_apfloat
rustc_arena Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_ast Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_ast_lowering Remove hir::CrateItem. 2021-03-30 20:31:06 +02:00
rustc_ast_passes
rustc_ast_pretty Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_attr
rustc_builtin_macros
rustc_codegen_cranelift Merge commit '0969bc6dde001e01e7e1f58c8ccd7750f8a49ae1' into sync_cg_clif-2021-03-29 2021-03-29 10:45:09 +02:00
rustc_codegen_llvm Auto merge of #83666 - Amanieu:instrprof-order, r=tmandry 2021-03-31 03:20:33 +00:00
rustc_codegen_ssa linker: Use data execution prevention options by default when linker supports them 2021-03-28 23:44:40 +03:00
rustc_data_structures Revert changes to sync data structures 2021-03-29 13:50:40 -04:00
rustc_driver Address review comments 2021-03-27 22:16:34 -04:00
rustc_error_codes
rustc_errors Auto merge of #83639 - osa1:issue83638, r=estebank 2021-03-30 17:07:19 +00:00
rustc_expand Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_feature Fix the unsafe_block_in_unsafe_fns stabilized version 2021-04-01 10:56:51 +09:00
rustc_fs_util
rustc_graphviz Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_hir Add var to BoundRegion. Add query to get bound vars for applicable items. 2021-03-31 10:16:37 -04:00
rustc_hir_pretty Remove hir::CrateItem. 2021-03-30 20:31:06 +02:00
rustc_incremental Also profile finishing the encoding. 2021-03-30 18:10:08 +02:00
rustc_index
rustc_infer Add var to BoundRegion. Add query to get bound vars for applicable items. 2021-03-31 10:16:37 -04:00
rustc_interface Stream the dep-graph to a file. 2021-03-30 18:09:59 +02:00
rustc_lexer
rustc_lint Add tcx lifetime to Binder 2021-03-31 10:13:57 -04:00
rustc_lint_defs Auto merge of #83103 - petrochenkov:unilex, r=Aaron1011 2021-03-27 22:19:17 +00:00
rustc_llvm
rustc_macros
rustc_metadata Remove hir::CrateItem. 2021-03-30 20:31:06 +02:00
rustc_middle Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebank 2021-04-02 03:39:32 +00:00
rustc_mir Cleanups and comments 2021-03-31 10:16:37 -04:00
rustc_mir_build Auto merge of #83663 - AngelicosPhosphoros:simplify_binary_and_to_get_better_asm, r=nagisa 2021-04-02 00:48:31 +00:00
rustc_parse
rustc_parse_format
rustc_passes Remove hir::CrateItem. 2021-03-30 20:31:06 +02:00
rustc_plugin_impl
rustc_privacy
rustc_query_impl Stream the dep-graph to a file. 2021-03-30 18:09:59 +02:00
rustc_query_system Enable debugging the dep-graph without debug-assertions. 2021-03-31 17:12:06 +02:00
rustc_resolve Cleanups and comments 2021-03-31 10:16:37 -04:00
rustc_save_analysis Remove hir::CrateItem. 2021-03-30 20:31:06 +02:00
rustc_serialize
rustc_session Clarify --print target-list is a rustc's option 2021-04-01 01:59:50 +09:00
rustc_span Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_symbol_mangling Add var to BoundRegion. Add query to get bound vars for applicable items. 2021-03-31 10:16:37 -04:00
rustc_target linker: Use data execution prevention options by default when linker supports them 2021-03-28 23:44:40 +03:00
rustc_trait_selection Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebank 2021-04-02 03:39:32 +00:00
rustc_traits Add var to BoundRegion. Add query to get bound vars for applicable items. 2021-03-31 10:16:37 -04:00
rustc_ty_utils Track bound vars 2021-03-31 10:15:27 -04:00
rustc_type_ir
rustc_typeck Cleanups and comments 2021-03-31 10:16:37 -04:00