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
/
lattice.rs
Age
Commit message (
Expand
)
Author
Lines
2023-12-15
Move type relations into submodule in rustc_infer
Michael Goulet
-128
/
+0
2023-06-06
New trait solver is a property of inference context
Michael Goulet
-1
/
+1
2023-05-25
Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...
Michael Goulet
-1
/
+4
2023-03-15
always make `define_opaque_types` explicit
lcnr
-3
/
+3
2023-02-10
emit `AliasEq` when relating type and const aliases
Boxy
-6
/
+5
2023-01-17
Remove double spaces after dots in comments
Maybe Waffle
-1
/
+1
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
-5
/
+7
2022-10-07
Remove TypeckResults from InferCtxt
Cameron Steffen
-1
/
+1
2022-03-30
Spellchecking compiler comments
Yuri Astrakhan
-1
/
+1
2022-03-28
Remove opaque type obligation and just register opaque types as they are enco...
Oli Scherer
-7
/
+5
2022-03-28
Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"
Oli Scherer
-2
/
+25
2022-02-28
Edit `rustc_trait_selection::infer::lattice` docs
pierwill
-12
/
+16
2022-02-11
Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"
Oli Scherer
-25
/
+2
2022-02-02
Lazily resolve type-alias-impl-trait defining uses
Oli Scherer
-2
/
+25
2020-09-04
Change ty.kind to a method
LeSeulArtichaut
-1
/
+1
2020-08-30
mv compiler to compiler/
mark
-0
/
+99