about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/relationships.rs
AgeCommit message (Expand)AuthorLines
2023-01-22Store relationships on InherentSantiago Pastorino-48/+0
2022-12-14Rename to match similar methodsOli Scherer-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-3/+5
2022-11-21Add a helper for replacing the self type in trait refsOli Scherer-10/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+4
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-7/+4
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-07-21change `map_bound(|_| x` to `rebind(x`Deadbeef-2/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-019 - Make more use of `let_chains`Caio-42/+30
2022-01-17Update term for use in more placeskadmin-1/+1
2022-01-17Use Term in ProjectionPredicatekadmin-1/+1
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+1
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-0/+69