index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
librustc_infer
/
infer
/
combine.rs
Age
Commit message (
Expand
)
Author
Lines
2020-08-30
mv compiler to compiler/
mark
-723
/
+0
2020-08-17
rust_ast::ast => rustc_ast
Ujjwal Sharma
-1
/
+1
2020-08-02
fix typos
liuzhenyu
-2
/
+2
2020-07-27
introduce PredicateAtom
Bastian Kauschke
-3
/
+3
2020-07-27
`PredicateKint` -> `PredicateKind`, the beginning of the end
Bastian Kauschke
-3
/
+3
2020-07-27
convert trivial predicates
Bastian Kauschke
-3
/
+3
2020-07-22
Increase accuracy of lifetime bound on trait object impl suggestion
Esteban Küber
-4
/
+6
2020-07-05
expected found `&T` -> `T`
Bastian Kauschke
-4
/
+4
2020-06-30
change `skip_binder` to use T by value
Bastian Kauschke
-1
/
+1
2020-06-30
stop taking references in Relate
Bastian Kauschke
-11
/
+11
2020-06-02
change WellFormed predicate to GenericArg
Bastian Kauschke
-1
/
+1
2020-05-22
Remove ReScope
Matthew Jasper
-1
/
+0
2020-05-20
introduce newtype'd `Predicate<'tcx>`
Bastian Kauschke
-5
/
+9
2020-05-20
rename `Predicate` to `PredicateKind`, introduce alias
Bastian Kauschke
-1
/
+1
2020-05-17
Logically seperate lazy norm from `const_generics`
Bastian Kauschke
-3
/
+3
2020-05-17
correctly handle escaping bound variables
Bastian Kauschke
-3
/
+11
2020-05-17
merge lazy_normalization_consts into const_generics
Bastian Kauschke
-9
/
+3
2020-05-17
Put lazy normalization behind a feature gate
Ben Lewis
-4
/
+10
2020-05-17
Emit `ConstEquate` obligation after checking/unifying for inference variables...
Ben Lewis
-1
/
+16
2020-05-17
Assume unevaluated consts are equal to the other consts and add ConstEquate o...
Ben Lewis
-1
/
+15
2020-05-05
perf: Reduce snapshot/rollback overhead
Markus Westerlind
-22
/
+24
2020-04-19
Dogfood more or_patterns in the compiler
Josh Stone
-1
/
+1
2020-03-30
rustc -> rustc_middle part 3 (rustfmt)
Mazdak Farrokhzad
-2
/
+2
2020-03-30
rustc -> rustc_middle part 2
Mazdak Farrokhzad
-5
/
+5
2020-03-23
Remove `ReClosureBound`
Matthew Jasper
-4
/
+0
2020-02-29
Rename `syntax` to `rustc_ast` in source code
Vadim Petrochenkov
-1
/
+1
2020-02-16
Remove librustc_infer crate re-exports.
Camille GILLOT
-5
/
+5
2020-02-16
Move librustc/{traits,infer} to librustc_infer.
Camille GILLOT
-0
/
+683