rust/compiler
bors 0ef2b4a29b Auto merge of #85755 - b-naber:unexpected_concrete_region, r=nikomatsakis
Replace parent substs of associated types with inference vars in borrow checker

Fixes https://github.com/rust-lang/rust/issues/83190
Fixes https://github.com/rust-lang/rust/issues/78450

When we normalize an associated type that refers to an opaque type, it can happen that the substs of the associated type do not occur in the projection (they are parent substs). We previously didn't replace those substs with inference vars, which left a concrete region after all regions should have already been replaced with inference vars and triggered a `delay_span_bug`. After we normalize the opaque type, we now try to replace any remaining concrete regions with inference vars.
2021-06-17 12:31:56 +00:00
..
rustc use jemallocator in rustc/rustdoc 2021-04-04 14:10:26 -07:00
rustc_apfloat Use the now available implementation of `IntoIterator` for arrays 2021-06-14 23:40:09 +02:00
rustc_arena Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_ast Add support for using qualified paths with structs in expression and pattern 2021-06-10 13:18:41 +02:00
rustc_ast_lowering Auto merge of #86321 - JohnTitor:rollup-q61c8q4, r=JohnTitor 2021-06-15 20:15:23 +00:00
rustc_ast_passes Auto merge of #86164 - FabianWolff:issue-86053, r=davidtwco 2021-06-17 06:34:12 +00:00
rustc_ast_pretty Add support for using qualified paths with structs in expression and pattern 2021-06-10 13:18:41 +02:00
rustc_attr remove cfg(bootstrap) 2021-05-24 11:07:48 -04:00
rustc_builtin_macros Fix span calculation in format strings 2021-06-07 17:42:42 +02:00
rustc_codegen_cranelift Auto merge of #86291 - crlf0710:trait_vtbl_refactor, r=bjorn3 2021-06-16 07:20:27 +00:00
rustc_codegen_llvm Auto merge of #86020 - nagisa:nagisa/outliner, r=pnkfelix 2021-06-10 15:11:01 +00:00
rustc_codegen_ssa Refactor to make interpreter and codegen backend neutral to vtable internal representation. 2021-06-15 01:59:00 +08:00
rustc_data_structures Auto merge of #85885 - bjorn3:remove_box_region, r=cjgillot 2021-06-11 16:11:20 +00:00
rustc_driver Rustfmt 2021-06-04 13:20:05 +02:00
rustc_error_codes Fix typo `with custom a custom` -> `with a custom` 2021-06-13 21:21:45 +02:00
rustc_errors Auto merge of #85903 - bjorn3:rustc_serialize_cleanup, r=varkor 2021-06-07 14:40:26 +00:00
rustc_expand Use the now available implementation of `IntoIterator` for arrays 2021-06-14 23:40:09 +02:00
rustc_feature Add support for using qualified paths with structs in expression and pattern 2021-06-10 13:18:41 +02:00
rustc_fs_util
rustc_graphviz Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
rustc_hir Hash DefId in rustc_span. 2021-06-11 12:25:02 +02:00
rustc_hir_pretty remove cfg(bootstrap) 2021-05-24 11:07:48 -04:00
rustc_incremental Do not require the DefPathTable to construct the on-disk cache. 2021-06-08 22:23:03 +02:00
rustc_index Remove unused feature gates 2021-05-31 13:55:43 +02:00
rustc_infer Auto merge of #86164 - FabianWolff:issue-86053, r=davidtwco 2021-06-17 06:34:12 +00:00
rustc_interface Auto merge of #85885 - bjorn3:remove_box_region, r=cjgillot 2021-06-11 16:11:20 +00:00
rustc_lexer Fix outdated crate names in compiler docs 2021-04-08 11:12:14 -05:00
rustc_lint Add support for using qualified paths with structs in expression and pattern 2021-06-10 13:18:41 +02:00
rustc_lint_defs Fix `deny(invalid_doc_attributes)` 2021-06-04 15:20:26 -04:00
rustc_llvm Auto merge of #84171 - ricobbe:raw-dylib-via-llvm, r=petrochenkov 2021-06-06 03:59:17 +00:00
rustc_macros Remove unused functions and arguments from rustc_serialize 2021-06-01 19:29:11 +02:00
rustc_metadata Auto merge of #85834 - cjgillot:save-sbi, r=michaelwoerister 2021-06-17 09:03:58 +00:00
rustc_middle Auto merge of #85834 - cjgillot:save-sbi, r=michaelwoerister 2021-06-17 09:03:58 +00:00
rustc_mir Auto merge of #85755 - b-naber:unexpected_concrete_region, r=nikomatsakis 2021-06-17 12:31:56 +00:00
rustc_mir_build Box `ExprKind::Adt` 2021-06-13 17:03:11 +02:00
rustc_parse Add support for using qualified paths with structs in expression and pattern 2021-06-10 13:18:41 +02:00
rustc_parse_format remove cfg(bootstrap) 2021-05-24 11:07:48 -04:00
rustc_passes Fix ICE when doc aliases were put on function params 2021-06-15 19:01:11 +02:00
rustc_plugin_impl Use () for plugin_registrar_fn. 2021-05-12 13:58:43 +02:00
rustc_privacy Add more tests + visit_ty in some places 2021-06-09 19:28:41 +01:00
rustc_query_impl Auto merge of #85154 - cjgillot:lessfn, r=bjorn3 2021-06-15 14:52:58 +00:00
rustc_query_system Auto merge of #85154 - cjgillot:lessfn, r=bjorn3 2021-06-15 14:52:58 +00:00
rustc_resolve Rollup merge of #85608 - scottmcm:stabilize-control-flow-enum-basics, r=m-ou-se 2021-06-15 17:40:08 +09:00
rustc_save_analysis Revert "Merge CrateDisambiguator into StableCrateId" 2021-06-07 10:37:45 +02:00
rustc_serialize Use the now available implementation of `IntoIterator` for arrays 2021-06-14 23:40:09 +02:00
rustc_session Auto merge of #86311 - LeSeulArtichaut:cleanup-array-iter, r=jackh726 2021-06-15 07:46:48 +00:00
rustc_span Rollup merge of #85608 - scottmcm:stabilize-control-flow-enum-basics, r=m-ou-se 2021-06-15 17:40:08 +09:00
rustc_symbol_mangling Revert "Merge CrateDisambiguator into StableCrateId" 2021-06-07 10:37:45 +02:00
rustc_target Use the now available implementation of `IntoIterator` for arrays 2021-06-14 23:40:09 +02:00
rustc_trait_selection Refactor to make interpreter and codegen backend neutral to vtable internal representation. 2021-06-15 01:59:00 +08:00
rustc_traits Stabilize ops::ControlFlow (just the type) 2021-05-23 13:20:05 -07:00
rustc_ty_utils Revert "Merge CrateDisambiguator into StableCrateId" 2021-06-07 10:37:45 +02:00
rustc_type_ir Remove unused feature gates 2021-05-31 13:55:43 +02:00
rustc_typeck Remove `projection_ty_from_predicates` 2021-06-16 16:33:03 +09:00