about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/compare_method.rs
AgeCommit message (Expand)AuthorLines
2022-12-28Rename module compare_method -> compare_impl_itemMichael Goulet-1974/+0
2022-12-28make some things less pubMichael Goulet-5/+5
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-5/+5
2022-12-24Rename some compare_method functionsMichael Goulet-3/+3
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-2/+2
2022-12-19Make fast-path for implied wf lint betterMichael Goulet-71/+92
2022-12-19Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-5/+70
2022-12-17Rollup merge of #105711 - compiler-errors:rpitit-references-errors, r=eholkMatthias Krüger-0/+2
2022-12-15Rollup merge of #104592 - ComputerDruid:async_check, r=compiler-errorsMatthias Krüger-0/+32
2022-12-14Ensure async trait impls are async (or otherwise return an opaque type)Dan Johnson-0/+32
2022-12-14bail in collect_trait_impl_trait_tys if signatures reference errorsMichael Goulet-0/+2
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-4/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-7/+7
2022-12-05On E0195 point at where clause lifetime boundsEsteban Küber-11/+40
2022-12-02Check lifetime param count in collect_trait_impl_trait_tysMichael Goulet-21/+18
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-10/+10
2022-11-23Use ObligationCtxt::normalizeSantiago Pastorino-17/+4
2022-11-22Rollup merge of #104701 - compiler-errors:rpitit-remove-reempty-hack, r=TaKO8KiDylan DPC-11/+1
2022-11-22Remove a hack from compare_predicate_entailmentMichael Goulet-11/+1
2022-11-22Delay bug to deduplicate diagnosticsMichael Goulet-8/+10
2022-11-22drive-by: style nitsMichael Goulet-25/+19
2022-11-22Check generics parity between impl and trait before collecting RPITITsMichael Goulet-3/+11
2022-11-19Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-...Matthias Krüger-3/+1
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-8/+4
2022-11-19drive-by: Add is_async fn to hir::IsAsyncMichael Goulet-3/+1
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-3/+4
2022-11-17Rollup merge of #103852 - compiler-errors:rpitit-early-from-impl, r=lcnrMatthias Krüger-1/+7
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-3/+4
2022-11-15use `ocx` type relation routineslcnr-8/+4
2022-11-09Emit error in `collecting_trait_impl_trait_tys` on mismatched signaturesNilstrieb-105/+142
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-3/+3
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-3/+3
2022-11-08add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed'yukang-2/+2
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-5/+5
2022-11-04Refactor tcx mk_const parameters.Mateusz-7/+4
2022-11-01Don't remap early-bound RPITIT regions that originate from implMichael Goulet-1/+7
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-14/+4
2022-10-27remove _types from ocx method namesMichael Goulet-5/+4
2022-10-27Address some more nitsMichael Goulet-12/+3
2022-10-27Remap early bound lifetimes tooMichael Goulet-1/+1
2022-10-24Delay span bug when we can't map lifetimes back in collect_trait_impl_trait_tysMichael Goulet-2/+10
2022-10-22Introduce subst_iter and subst_iter_copied on EarlyBinderMichael Goulet-12/+4
2022-10-15typosMichael Goulet-9/+9
2022-10-15Equate full fn signatures to infer all region variablesMichael Goulet-13/+33
2022-10-15Fix subst issues with RPITITMichael Goulet-6/+31
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-521/+506
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-10-07Introduce TypeErrCtxtCameron Steffen-9/+10