about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check
AgeCommit message (Expand)AuthorLines
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