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_trait_selection
/
src
/
traits
/
coherence.rs
Age
Commit message (
Expand
)
Author
Lines
2021-12-16
Rollup merge of #91904 - SylvanB:remove_in_band_lifetimes_rustc_trait_selecti...
Matthias Krüger
-5
/
+15
2021-12-15
Remove `in_band_lifetimes` from `rustc_trait_selection`
Sylvan Bowdler
-5
/
+15
2021-12-14
extend `simplify_type`
lcnr
-5
/
+5
2021-12-08
Use Vec extend instead of repeated pushes in several places
Jakub Beránek
-3
/
+1
2021-10-23
Avoid code duplication by extracting checks into fns
Santiago Pastorino
-11
/
+18
2021-10-22
Hide negative coherence checks under negative_impls feature flag
Santiago Pastorino
-4
/
+5
2021-10-22
Add rustc_strict_coherence attribute and use it to check overlap
Santiago Pastorino
-2
/
+13
2021-10-22
Document overlap check filter
Santiago Pastorino
-1
/
+21
2021-10-20
Use predicate_must_hold_modulo_regions
Santiago Pastorino
-1
/
+1
2021-10-20
Consider negative polarity on overlap check
Santiago Pastorino
-1
/
+9
2021-08-26
review
lcnr
-1
/
+1
2021-08-26
update `TypeFlags` to deal with missing ct substs
lcnr
-1
/
+1
2021-04-06
Do not ICE when closure is involved in TAIT
Esteban Küber
-1
/
+6
2021-03-26
Use iter::zip in compiler/
Josh Stone
-17
/
+16
2021-02-12
Don't check self type twice
Ryan Levick
-4
/
+1
2021-02-12
Switch boolean checks
Ryan Levick
-1
/
+1
2021-02-12
Short circuit full corherence check when dealing with types with different re...
Ryan Levick
-5
/
+6
2021-02-04
Try fast_reject::simplify_type in coherence before doing full check
Ryan Levick
-1
/
+31
2020-12-24
use matches!() macro in more places
Matthias Krüger
-4
/
+2
2020-11-16
compiler: fold by value
Bastian Kauschke
-3
/
+4
2020-09-15
fix a couple of stylistic clippy warnings
Matthias Krüger
-1
/
+1
2020-09-04
Change ty.kind to a method
LeSeulArtichaut
-3
/
+3
2020-08-30
mv compiler to compiler/
mark
-0
/
+577