about summary refs log tree commit diff
path: root/src/librustc_infer/infer/combine.rs
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-723/+0
2020-08-17rust_ast::ast => rustc_astUjjwal Sharma-1/+1
2020-08-02fix typosliuzhenyu-2/+2
2020-07-27introduce PredicateAtomBastian Kauschke-3/+3
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-3/+3
2020-07-27convert trivial predicatesBastian Kauschke-3/+3
2020-07-22Increase accuracy of lifetime bound on trait object impl suggestionEsteban Küber-4/+6
2020-07-05expected found `&T` -> `T`Bastian Kauschke-4/+4
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-1/+1
2020-06-30stop taking references in RelateBastian Kauschke-11/+11
2020-06-02change WellFormed predicate to GenericArgBastian Kauschke-1/+1
2020-05-22Remove ReScopeMatthew Jasper-1/+0
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-5/+9
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-1/+1
2020-05-17Logically seperate lazy norm from `const_generics`Bastian Kauschke-3/+3
2020-05-17correctly handle escaping bound variablesBastian Kauschke-3/+11
2020-05-17merge lazy_normalization_consts into const_genericsBastian Kauschke-9/+3
2020-05-17Put lazy normalization behind a feature gateBen Lewis-4/+10
2020-05-17Emit `ConstEquate` obligation after checking/unifying for inference variables...Ben Lewis-1/+16
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-1/+15
2020-05-05perf: Reduce snapshot/rollback overheadMarkus Westerlind-22/+24
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-1/+1
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-2/+2
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-5/+5
2020-03-23Remove `ReClosureBound`Matthew Jasper-4/+0
2020-02-29Rename `syntax` to `rustc_ast` in source codeVadim Petrochenkov-1/+1
2020-02-16Remove librustc_infer crate re-exports.Camille GILLOT-5/+5
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-0/+683