about summary refs log tree commit diff
path: root/src/librustc_infer/traits
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-919/+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-07-05Shrink ParamEnv to 16 bytesMark Rousskov-1/+1
2020-06-20Auto merge of #73563 - Manishearth:rollup-oowgwwm, r=Manishearthbors-2/+0
2020-06-20Move bounds on associated types to the typeMatthew Jasper-2/+0
2020-06-20int -> i32Bastian Kauschke-4/+4
2020-06-16Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morsebors-5/+7
2020-06-07store `ObligationCause` on the heapBastian Kauschke-5/+7
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-4/+4
2020-05-29Add Extend::{extend_one,extend_reserve}Josh Stone-0/+8
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-26/+20
2020-05-27Auto merge of #71996 - Marwes:detach_undo_log, r=nikomatsakisbors-0/+2
2020-05-24perf: Add inline on commonly used methods added in 69464Markus Westerlind-0/+2
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-20intern `PredicateKind`Bastian Kauschke-1/+1
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-12/+22
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-3/+3
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-1/+11
2020-05-11Fix clippy warningsMatthias Krüger-3/+2
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-2/+2
2020-05-05Fix review commentsMarkus Westerlind-3/+3
2020-05-05Rebase and use ena 0.14Markus Westerlind-3/+7
2020-05-05refactor: Rename Logs to InferCtxtUndoLogsMarkus Westerlind-4/+9
2020-05-05Move projection_cache into the combined undo logMarkus Westerlind-26/+41
2020-05-05Allow SnapshotMap to have a separate undo_logMarkus Westerlind-4/+0
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-12Update links of `rustc guide`Yuki Okushi-2/+2
2020-04-11Auto merge of #70161 - cjgillot:query-arena, r=nikomatsakisbors-1/+1
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-20/+48
2020-04-05Allocate query Vecs on the arena.Camille GILLOT-1/+1
2020-04-01Remove duplicated code in trait selectionEsteban Küber-3/+79
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-5/+5
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-12/+12
2020-03-25Rename `def_span` to `guess_head_span`Esteban Küber-3/+3
2020-03-21don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 00:35:40 +0000