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
/
compiler
/
rustc_infer
/
src
/
infer
/
equate.rs
Age
Commit message (
Expand
)
Author
Lines
2022-12-14
Ensure no one constructs `AliasTy`s themselves
Oli Scherer
-4
/
+4
2022-12-13
Combine projection and opaque into alias
Michael Goulet
-4
/
+4
2022-12-13
squash OpaqueTy and ProjectionTy into AliasTy
Michael Goulet
-4
/
+4
2022-12-13
Use ty::OpaqueTy everywhere
Michael Goulet
-3
/
+7
2022-12-13
Fast path some binder relations
Michael Goulet
-0
/
+5
2022-11-21
Add an always-ambiguous predicate to make sure that we don't accidentlally al...
Oli Scherer
-0
/
+4
2022-11-21
Treat different opaque types of the same def id as equal during coherence
Oli Scherer
-0
/
+4
2022-09-22
Comment, and bail early if bound vars list differs
Michael Goulet
-5
/
+6
2022-09-22
Optimize subtyping and equation of GeneratorWitness
Michael Goulet
-0
/
+18
2022-06-10
update higher_ranked_sub docs
lcnr
-2
/
+2
2022-04-17
Split relate_substs into two functions
Martin Gammelsæter
-1
/
+1
2022-03-28
Remove opaque type obligation and just register opaque types as they are enco...
Oli Scherer
-7
/
+11
2022-03-28
Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"
Oli Scherer
-3
/
+19
2022-02-15
Overhaul `Const`.
Nicholas Nethercote
-4
/
+4
2022-02-11
Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"
Oli Scherer
-19
/
+3
2022-02-02
Lazily resolve type-alias-impl-trait defining uses
Oli Scherer
-1
/
+16
2022-02-02
Add roll back infrastructure for opaque type caches
Oli Scherer
-3
/
+4
2021-12-13
Remove `in_band_lifetimes` from `rustc_infer`
LegionMammal978
-1
/
+1
2021-08-18
Remove box syntax from rustc_infer
est31
-1
/
+1
2021-06-06
Add variance-related information to lifetime error messages
Aaron Hill
-0
/
+1
2021-03-31
Add tcx lifetime to Binder
Jack Huey
-3
/
+3
2020-09-04
Change ty.kind to a method
LeSeulArtichaut
-1
/
+1
2020-08-30
mv compiler to compiler/
mark
-0
/
+148