bors 0dddad0dc5 Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot ... Support return-type bounds on associated methods from supertraits Support `T: Trait<method(): Bound>` when `method` comes from a supertrait, aligning it with the behavior of associated type bounds (both equality and trait bounds). The only wrinkle is that I have to extend `super_predicates_that_define_assoc_type` to look for *all* items, not just `AssocKind::Ty`. This will also be needed to support `feature(associated_const_equality)` as well, which is subtly broken when it comes to supertraits, though this PR does not fix those yet. There's a slight chance there's a perf regression here, in which case I guess I could split it out into a separate query.		2023-05-07 11:18:22 +00:00
..
consts	Remove WithOptconstParam.	2023-04-20 17:48:32 +00:00
context	Update indexmap and rayon crates	2023-03-25 02:12:13 +01:00
inhabitedness	Auto merge of #108351 - petrochenkov:rmdit, r=cjgillot	2023-03-05 10:37:02 +00:00
print	Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot	2023-05-07 11:18:22 +00:00
_match.rs	Remove intercrate and mark_ambiguous from Relation	2023-04-04 00:09:12 +00:00
abstract_const.rs	correctly recurse when expanding anon consts	2023-05-02 18:42:55 +01:00
adjustment.rs	Update ty::VariantDef to use IndexVec<FieldIdx, FieldDef>	2023-03-30 09:23:40 -07:00
adt.rs	Remove some unnecessary derives.	2023-04-28 18:34:55 +10: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	Update ty::VariantDef to use IndexVec<FieldIdx, FieldDef>	2023-03-30 09:23:40 -07:00
codec.rs	Remove unneeded encode/decode methods.	2023-05-04 13:11:52 +10:00
consts.rs	Restrict From<S> for {D,Subd}iagnosticMessage.	2023-05-03 08:44:39 +10:00
context.rs	Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot	2023-05-07 11:18:22 +00:00
diagnostics.rs	Restrict From<S> for {D,Subd}iagnosticMessage.	2023-05-03 08:44:39 +10:00
erase_regions.rs	rename needs_infer to has_infer	2023-04-27 08:35:19 +01:00
error.rs	Remove unused TypeFoldable/TypeVisitable impls.	2023-04-26 15:19:50 +10:00
fast_reject.rs	Spelling - compiler	2023-04-17 16:09:18 -04:00
flags.rs	small type system cleanup	2023-04-19 10:30:30 +02:00
fold.rs	Remove TypeSuper{Foldable,Visitable} impls for Region.	2023-04-16 09:11:43 +10:00
generics.rs	Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc	2023-02-22 22:23:45 +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	More robust debug assertions for Instance::resolve on built-in traits with custom items	2023-05-06 05:58:04 +00:00
layout.rs	Avoid ICEing miri on layout query cycles	2023-05-02 16:14:20 +00:00
list.rs	Use ptr::Alignment for extra coolness points	2023-04-14 12:31:49 +00:00
mod.rs	Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr	2023-05-04 05:54:09 +00:00
normalize_erasing_regions.rs	Move a const-prop-lint specific hack from mir interpret to const-prop-lint and make it fallible	2023-04-04 10:39:26 +00:00
opaque_types.rs	Restrict From<S> for {D,Subd}iagnosticMessage.	2023-05-03 08:44:39 +10:00
parameterized.rs	Split {Idx, IndexVec, IndexSlice} into their own modules	2023-04-24 13:53:35 +00:00
query.rs	Add query accessor functions	2023-04-26 07:46:14 +02:00
relate.rs	Replace tcx.mk_trait_ref with ty::TraitRef::new	2023-04-25 16:12:44 +00:00
rvalue_scopes.rs	rustc_typeck to rustc_hir_analysis	2022-09-27 10:37:23 +02:00
structural_impls.rs	Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnr	2023-04-27 21:34:14 +02:00
sty.rs	Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr	2023-05-04 05:54:09 +00:00
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	Explicitly reject negative and reservation drop impls	2023-04-27 17:02:17 +00:00
visit.rs	rename needs_subst to has_param	2023-04-27 08:35:19 +01: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