summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context.rs
AgeCommit message (Expand)AuthorLines
2018-10-19Write an initial version of the `program_clauses` callbackscalexm-21/+207
2018-10-17Implement `InferenceTable::add_clauses`scalexm-8/+12
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-33/+38
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-3/+4
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-3/+3
2018-10-08Pass around interned refs to goals and not goalsscalexm-20/+21
2018-08-23Use optimized SmallVec implementationIgor Gutorov-1/+1
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-1/+1
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-5/+5
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-14/+1
2018-06-07Add rules for type well-formednessscalexm-1/+1
2018-06-04Refactor the chalkify lowering processscalexm-17/+25
2018-05-24pacify the mercilous tidyNiko Matsakis-0/+10
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-0/+514
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 18:37:14 +0000