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_trait_selection
/
src
/
traits
/
wf.rs
Age
Commit message (
Expand
)
Author
Lines
2021-09-24
Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakis
Jubilee
-11
/
+17
2021-09-20
Do not store visibility in *ItemRef.
Camille GILLOT
-1
/
+1
2021-09-15
Remove ToPredicate impls that use Binder::dummy
jackh726
-11
/
+17
2021-08-26
use `ty::Unevaluated` instead of def substs pair
lcnr
-4
/
+7
2021-08-26
add `tcx` to `fn walk`
lcnr
-1
/
+1
2021-08-26
make unevaluated const substs optional
lcnr
-4
/
+5
2021-08-19
introduce a Coerce predicate
Niko Matsakis
-0
/
+4
2021-08-13
move Constness into TraitPredicate
Deadbeef
-2
/
+2
2021-07-17
Some perf optimizations and logging
jackh726
-0
/
+1
2021-07-16
Add initial implementation of HIR-based WF checking for diagnostics
Aaron Hill
-2
/
+2
2021-03-31
Add tcx lifetime to Binder
Jack Huey
-2
/
+2
2021-03-26
Use iter::zip in compiler/
Josh Stone
-5
/
+1
2021-03-20
extract `ConstKind::Unevaluated` into a struct
lcnr
-1
/
+1
2021-01-16
Review changes
Jack Huey
-22
/
+22
2021-01-12
Separate out a `hir::Impl` struct
Joshua Nelson
-2
/
+4
2020-12-11
Move binder for dyn to each list item
Jack Huey
-2
/
+2
2020-11-22
Thread `Constness` through selection
Jonas Schievink
-1
/
+1
2020-11-16
compiler: fold by value
Bastian Kauschke
-1
/
+1
2020-10-11
Replace tuple of infer vars for upvar_tys with single infer var
Roxane
-4
/
+2
2020-10-06
Fix rebase
Matthew Jasper
-1
/
+1
2020-10-06
Fix bugs in evaluating WellFormed predicates
Matthew Jasper
-17
/
+41
2020-10-06
Address review comments
Matthew Jasper
-1
/
+19
2020-10-06
Fix tests and bootstrap
Matthew Jasper
-6
/
+15
2020-10-06
Make projection wf check the predicates for the projection
Matthew Jasper
-11
/
+25
2020-09-24
assign the correct `DefId` in `nominal_obligations`
Bastian Kauschke
-4
/
+16
2020-09-09
Remove def_id field from ParamEnv
Bram van den Heuvel
-0
/
+3
2020-09-04
Change ty.kind to a method
LeSeulArtichaut
-5
/
+5
2020-08-30
mv compiler to compiler/
mark
-0
/
+710