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
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_infer
/
src
/
infer
/
higher_ranked
Age
Commit message (
Expand
)
Author
Lines
2022-11-28
Simplify calls to `tcx.mk_const`
Maybe Waffle
-7
/
+2
2022-11-04
Refactor tcx mk_const parameters.
Mateusz
-3
/
+3
2022-10-07
Remove TypeckResults from InferCtxt
Cameron Steffen
-2
/
+2
2022-09-15
change `FnMutDelegate` to trait objects
lcnr
-3
/
+3
2022-09-01
tracing::instrument cleanup
Oli Scherer
-4
/
+3
2022-08-03
Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPC
Matthias Krüger
-1
/
+1
2022-08-03
fix typo
b-naber
-1
/
+1
2022-08-01
make `PlaceholderConst` not store the type of the const
Ellen
-1
/
+1
2022-07-28
`BoundVarReplacer`: trait object instead of 3 fns
lcnr
-22
/
+23
2022-07-13
Rename `debugging_opts` to `unstable_opts`
Joshua Nelson
-1
/
+1
2022-07-08
don't use `commit_if_ok` during `higher_ranked_sub`
lcnr
-21
/
+17
2022-06-14
Rename the `ConstS::val` field as `kind`.
Nicholas Nethercote
-1
/
+1
2022-06-10
eagerly check whether we replace any bound vars
lcnr
-23
/
+10
2022-06-10
update higher_ranked_sub docs
lcnr
-24
/
+31
2022-06-10
bound_vars -> infer: don't return lt map
lcnr
-2
/
+1
2022-06-10
replace bound vars: make caching explicit
lcnr
-10
/
+9
2022-03-11
update comment
lcnr
-7
/
+4
2022-02-21
obligation forest docs
lcnr
-1
/
+3
2022-02-15
Overhaul `Const`.
Nicholas Nethercote
-1
/
+1
2021-09-28
More tracing instrumentation
Oli Scherer
-2
/
+1
2021-03-31
Add tcx lifetime to Binder
Jack Huey
-4
/
+4
2021-03-31
Some rebinds and dummys
Jack Huey
-1
/
+4
2020-12-18
Make BoundRegion have a kind of BoungRegionKind
Jack Huey
-2
/
+2
2020-12-03
The details of higher-rank sub are in the rustc book not a doc module.
Benjamin Peterson
-3
/
+3
2020-11-16
compiler: fold by value
Bastian Kauschke
-5
/
+4
2020-11-12
Add type to `ConstKind::Placeholder`
varkor
-1
/
+1
2020-10-06
Remove unused part of return value from `replace_bound_vars_with_placeholders`
Matthew Jasper
-7
/
+4
2020-08-30
mv compiler to compiler/
mark
-0
/
+159