about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/relationships.rs
AgeCommit message (Collapse)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 ↵Oli Scherer-4/+4
sites that used the wrong amount
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
This PR cleans up the rest of the spelling mistakes in the compiler comments. This PR does not change any literal or code spelling issues.
2022-03-019 - Make more use of `let_chains`Caio-42/+30
Continuation of #94376. cc #53667
2022-01-17Update term for use in more placeskadmin-1/+1
Replace use of `ty()` on term and use it in more places. This will allow more flexibility in the future, but slightly worried it allows items which are consts which only accept types.
2022-01-17Use Term in ProjectionPredicatekadmin-1/+1
ProjectionPredicate should be able to handle both associated types and consts so this adds the first step of that. It mainly just pipes types all the way down, not entirely sure how to handle consts, but hopefully that'll come with time.
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+1
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-0/+69
This adds src/test/ui/never_type/fallback-closure-ret.rs as a test case which showcases the failure mode fixed by this commit.