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
/
traits
/
mod.rs
Age
Commit message (
Expand
)
Author
Lines
2023-12-14
update use of feature flags
lcnr
-1
/
+1
2023-10-22
use visibility to check unused imports and delete some stmts
bohan
-1
/
+0
2023-08-09
Ignore `cause` and `recursion_depth` in `Obligation::{eq,hash}`.
Nicholas Nethercote
-1
/
+23
2023-08-02
Remove constness from `TraitPredicate`
Deadbeef
-7
/
+0
2023-07-27
Remove `constness` from `ParamEnv`
Deadbeef
-9
/
+0
2023-07-06
Separate select calls that don't need a binder
Michael Goulet
-0
/
+1
2023-07-06
TraitObligation -> PolyTraitObligation
Michael Goulet
-3
/
+3
2023-06-19
s/Clause/ClauseKind
Michael Goulet
-2
/
+2
2023-04-21
Break up long function in trait selection error reporting
Bryan Garza
-1
/
+1
2023-04-16
use matches! macro in more places
Matthias Krüger
-4
/
+4
2023-04-10
Report overflows gracefully with new solver
Michael Goulet
-1
/
+5
2023-03-21
evaluate: improve and fix recursion depth handling
lcnr
-0
/
+10
2023-03-10
Move some solver stuff to middle
Michael Goulet
-0
/
+6
2023-01-23
fix: use LocalDefId instead of HirId in trait res
Vincenzo Palazzo
-1
/
+2
2022-11-25
Introduce PredicateKind::Clause
Santiago Pastorino
-2
/
+2
2022-11-16
Convert predicates into Predicate in the Obligation constructor
Oli Scherer
-13
/
+16
2022-09-22
Rollup merge of #102037 - jyn514:normalize-docs, r=lcnr
Dylan DPC
-0
/
+2
2022-09-19
Make cycle errors recoverable
Joshua Nelson
-0
/
+2
2022-09-16
remap ParamEnv with obligation
Deadbeef
-0
/
+8
2022-05-10
Remove `clone_code` method
Oli Scherer
-1
/
+1
2022-05-10
Move an extension trait method onto the type directly and reuse it
Oli Scherer
-1
/
+8
2022-02-15
Overhaul `Const`.
Nicholas Nethercote
-1
/
+1
2021-12-20
Eliminate `ObligationCauseData`.
Nicholas Nethercote
-1
/
+1
2021-12-13
Remove `in_band_lifetimes` from `rustc_infer`
LegionMammal978
-2
/
+2
2021-12-12
Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"
Deadbeef
-0
/
+10
2021-12-03
Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"
Santiago Pastorino
-10
/
+0
2021-11-29
Use the constness from the param env instead of having a separate dimension f...
Oli Scherer
-0
/
+10
2021-10-22
Document flip polarity
Santiago Pastorino
-0
/
+3
2021-10-20
Add TraitObligation::polarity() for better encapsulation
Santiago Pastorino
-0
/
+4
2021-10-20
Consider negative polarity on overlap check
Santiago Pastorino
-1
/
+12
2021-09-16
Refactor `FulfillmentError` to track less data
Esteban Kuber
-5
/
+1
2021-08-22
Fix typos “a”→“an”
Frank Steffahn
-1
/
+1
2021-07-16
Add initial implementation of HIR-based WF checking for diagnostics
Aaron Hill
-1
/
+6
2021-03-31
Add tcx lifetime to Binder
Jack Huey
-1
/
+1
2021-03-06
Change x64 size checks to not apply to x32.
Harald van Dijk
-1
/
+1
2020-10-14
Remove unused code from rustc_infer
est31
-2
/
+0
2020-09-26
Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."
Dylan MacKenzie
-1
/
+1
2020-09-21
Add an unused field of type `Option<DefId>` to `ParamEnv` struct.
Bram van den Heuvel
-1
/
+1
2020-09-09
Remove def_id field from ParamEnv
Bram van den Heuvel
-1
/
+1
2020-08-30
mv compiler to compiler/
mark
-0
/
+136