about summary refs log tree commit diff
path: root/src/librustc/traits/query/evaluate_obligation.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-75/+0
2019-12-22Format the worldMark Rousskov-19/+14
2019-10-09Obligation must apply modulo regionsEsteban Küber-1/+1
2019-09-27Remove global_tcx from TyCtxtMark Rousskov-1/+1
2019-09-07Aggregation of cosmetic changes made during work on REPL PRs: librustcAlexander Regueiro-2/+3
2019-06-16Auto merge of #61754 - nikomatsakis:trait-caching-perf-3, r=pnkfelixbors-1/+1
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-1/+1
2019-06-11rename `evaluate_obligation_recursively`Niko Matsakis-1/+1
2019-02-05move librustc to 2018Mark Mansi-3/+3
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-2/+17
2018-12-25Remove licensesMark Rousskov-10/+0
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-2/+2
2018-09-13expose `evaluate_obligation` that captures overflow, use in rustdocNiko Matsakis-7/+16
2018-09-13give a more informative failure in this caseNiko Matsakis-1/+8
2018-08-23Use optimized SmallVec implementationIgor Gutorov-1/+1
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-2/+4
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-14/+0
2018-04-26Retry canonical trait query in standard mode if overflow occursAravind Gollakota-8/+24
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-0/+54