about summary refs log tree commit diff
path: root/src/librustc_infer/traits/util.rs
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-313/+0
2020-07-27introduce PredicateAtomBastian Kauschke-26/+14
2020-07-27add reuse_or_mk_predicateBastian Kauschke-3/+2
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-1/+1
2020-07-27split ignore_qualifiersBastian Kauschke-11/+10
2020-07-27reviewBastian Kauschke-28/+14
2020-07-27fix elaborate for predicates with unbound variablesBastian Kauschke-9/+5
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-40/+41
2020-07-27progressBastian Kauschke-3/+3
2020-07-27elaborateBastian Kauschke-14/+20
2020-07-27subst_supertraitBastian Kauschke-2/+2
2020-07-27convert trivial predicatesBastian Kauschke-4/+4
2020-07-27anonymize_predicateBastian Kauschke-22/+15
2020-06-20int -> i32Bastian Kauschke-2/+2
2020-06-07store `ObligationCause` on the heapBastian Kauschke-4/+6
2020-05-29Add Extend::{extend_one,extend_reserve}Josh Stone-0/+8
2020-05-23fix Predicate perf regressionBastian Kauschke-18/+12
2020-05-23take predicates by value instead of by referenceBastian Kauschke-8/+8
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-9/+9
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-12/+22
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-2/+2
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-30/+30
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-0/+6
2020-05-11Fix clippy warningsMatthias Krüger-3/+2
2020-04-20Remove some allocations in predicate evaluationEsteban Küber-4/+3
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-6/+4
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-20/+48
2020-04-01Remove duplicated code in trait selectionEsteban Küber-2/+78
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-1/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
2020-03-21don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-1/+1
2020-03-14Split librustc_infer.Camille GILLOT-0/+225
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-675/+0
2020-03-06Don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-1/+1
2020-02-19Make lookup of associated item by name O(log n)Dylan MacKenzie-2/+2
2020-02-16Remove librustc_infer crate re-exports.Camille GILLOT-3/+3
2020-02-16Make librustc_infer compile.Camille GILLOT-0/+1
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-0/+674
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 22:11:33 +0000