about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check
AgeCommit message (Expand)AuthorLines
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-11/+4
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-3/+3
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-4/+4
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-1/+2
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-1/+1
2022-12-27Rollup merge of #106151 - TaKO8Ki:remove-unused-imports, r=jackh726fee1-dead-1/+0
2022-12-26remove unused importsTakayuki Maeda-1/+0
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-3/+3
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-10/+24
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-10Apply PR feedback.Ben Reeves-10/+9
2022-11-10Require `~const` qualifier on trait bounds in specializing impls if present i...Ben Reeves-16/+43
2022-11-10Disallow specializing on const impls with non-const impls.Ben Reeves-4/+31
2022-11-10Allow specialized const trait impls.Ben Reeves-21/+44
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-10-10Fix compiler docsGuillaume Gomez-0/+8
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-40/+37
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+441