bors ea54255501 Auto merge of #111221 - compiler-errors:yeet-generalizer, r=lcnr ... Combine three generalizer implementations Fixes #111092 Fixes #109505 This code is a bit delicate and there were subtle changes between them, so I'll leave inline comments where further inspection is needed. Regarding this comment from #109813 -- "add tests triggering all codepaths: at least the combine and the const generalizer", can't really do that now, and I don't really know how we'd get a higher-ranked const error since non-lifetime binders doesn't *really* support `for<const ..>` (it errors out when you try to use it). r? `@lcnr`		2023-05-15 22:16:50 +00:00
..
consts	Remove WithOptconstParam.	2023-04-20 17:48:32 +00:00
context	introduce DynSend and DynSync auto trait	2023-05-06 09:34:18 +08:00
inhabitedness	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
print	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
_match.rs	Rename super_relate_* to structurally_relate_*	2023-05-15 16:40:42 +00:00
abstract_const.rs	Rename const error methods for consistency	2023-05-14 20:32:51 +00:00
adjustment.rs	Update ty::VariantDef to use IndexVec<FieldIdx, FieldDef>	2023-03-30 09:23:40 -07:00
adt.rs	Use smaller ints for bitflags	2023-05-07 18:24:46 +02:00
assoc.rs	Don't opt_rpitit_info as a separate query	2023-03-13 17:02:47 +00:00
binding.rs	Refactor and re-use BindingAnnotation	2022-09-02 12:55:05 -05:00
cast.rs	Remove mir::CastKind::Misc	2022-10-06 15:32:41 +03:00
closure.rs	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
codec.rs	Remove unneeded encode/decode methods.	2023-05-04 13:11:52 +10:00
consts.rs	Rename const error methods for consistency	2023-05-14 20:32:51 +00:00
context.rs	Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillot	2023-05-15 17:12:46 +02:00
diagnostics.rs	Restrict From<S> for {D,Subd}iagnosticMessage.	2023-05-03 08:44:39 +10:00
erase_regions.rs	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
error.rs	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
fast_reject.rs	Spelling - compiler	2023-04-17 16:09:18 -04:00
flags.rs	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
fold.rs	Remove TypeSuper{Foldable,Visitable} impls for Region.	2023-04-16 09:11:43 +10:00
generics.rs	Rename const error methods for consistency	2023-05-14 20:32:51 +00:00
impls_ty.rs	Derive HashStable on GenericArgKind instead of implementing it by hand	2023-04-20 19:52:37 +00:00
instance.rs	changes from review: add FIXME to clippy and change subst_identity to skip_binder in mir subst methods	2023-05-06 23:36:04 -06:00
layout.rs	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
list.rs	correct literals for dyn thread safe	2023-05-06 09:34:53 +08:00
mod.rs	Auto merge of #111221 - compiler-errors:yeet-generalizer, r=lcnr	2023-05-15 22:16:50 +00:00
normalize_erasing_regions.rs	Require impl Trait in associated types to appear in method signatures	2023-05-12 10:24:03 +00:00
opaque_types.rs	Rename const error methods for consistency	2023-05-14 20:32:51 +00:00
parameterized.rs	Split {Idx, IndexVec, IndexSlice} into their own modules	2023-04-24 13:53:35 +00:00
query.rs	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
relate.rs	Rename super_relate_* to structurally_relate_*	2023-05-15 16:40:42 +00:00
rvalue_scopes.rs	rustc_typeck to rustc_hir_analysis	2022-09-27 10:37:23 +02:00
structural_impls.rs	Implement references VarDebugInfo.	2023-05-13 10:12:14 +00:00
sty.rs	Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compiler-errors	2023-05-13 11:05:32 +05:30
subst.rs	rename needs_subst to has_param	2023-04-27 08:35:19 +01:00
trait_def.rs	Remove find_map_relevant_impl	2023-04-19 02:01:55 +00:00
typeck_results.rs	Split {Idx, IndexVec, IndexSlice} into their own modules	2023-04-24 13:53:35 +00:00
util.rs	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
visit.rs	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
vtable.rs	Rename many interner functions.	2023-02-24 07:32:24 +11:00
walk.rs	Remove as_substs usage	2023-04-18 17:38:28 +00:00