summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2021-12-16Rollup merge of #91904 - SylvanB:remove_in_band_lifetimes_rustc_trait_selecti...Matthias Krüger-5/+15
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-5/+15
2021-12-14extend `simplify_type`lcnr-5/+5
2021-12-08Use Vec extend instead of repeated pushes in several placesJakub Beránek-3/+1
2021-10-23Avoid code duplication by extracting checks into fnsSantiago Pastorino-11/+18
2021-10-22Hide negative coherence checks under negative_impls feature flagSantiago Pastorino-4/+5
2021-10-22Add rustc_strict_coherence attribute and use it to check overlapSantiago Pastorino-2/+13
2021-10-22Document overlap check filterSantiago Pastorino-1/+21
2021-10-20Use predicate_must_hold_modulo_regionsSantiago Pastorino-1/+1
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-1/+9
2021-08-26reviewlcnr-1/+1
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-1/+1
2021-04-06Do not ICE when closure is involved in TAITEsteban Küber-1/+6
2021-03-26Use iter::zip in compiler/Josh Stone-17/+16
2021-02-12Don't check self type twiceRyan Levick-4/+1
2021-02-12Switch boolean checksRyan Levick-1/+1
2021-02-12Short circuit full corherence check when dealing with types with different re...Ryan Levick-5/+6
2021-02-04Try fast_reject::simplify_type in coherence before doing full checkRyan Levick-1/+31
2020-12-24use matches!() macro in more placesMatthias Krüger-4/+2
2020-11-16compiler: fold by valueBastian Kauschke-3/+4
2020-09-15fix a couple of stylistic clippy warningsMatthias Krüger-1/+1
2020-09-04Change ty.kind to a methodLeSeulArtichaut-3/+3
2020-08-30mv compiler to compiler/mark-0/+577