about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-10/+7
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-1/+2
2022-02-21don't check for the leak_check twicelcnr-14/+6
2022-02-19rustc_trait_selection: adopt let else in more placesest31-10/+7
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-14Auto merge of #93652 - spastorino:fix-negative-overlap-check-regions, r=nikom...bors-25/+52
2022-02-14Inline loose_check fn on call siteSantiago Pastorino-11/+1
2022-02-14Add comments about outlives_envSantiago Pastorino-0/+7
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-1/+1
2022-02-14Properly check regions on negative overlap checkSantiago Pastorino-8/+34
2022-02-14Add debug calls for negative impls in coherenceSantiago Pastorino-4/+10
2022-02-14Move FIXME text to the right placeSantiago Pastorino-3/+3
2022-02-14Remove extra negative_impl_exists checkSantiago Pastorino-3/+1
2022-02-14fast_reject: remove `StripReferences`lcnr-3/+3
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-57/+16
2022-01-26Only traverse attrs once while checking for coherence overrideRémy Rakic-18/+25
2022-01-23FIXME include regions tooSantiago Pastorino-1/+4
2022-01-23Rename strict_check to negative_impl_existsSantiago Pastorino-4/+8
2022-01-23Document OverlapModeSantiago Pastorino-0/+5
2022-01-22Restructure the code leveraging in abilities more than modesSantiago Pastorino-51/+47
2022-01-21Remove intermediate function doesn't make more senseSantiago Pastorino-28/+11
2022-01-21Make strict_disjoint use explicit_disjointSantiago Pastorino-9/+12
2022-01-21Do not pass OverlapMode down, just create a closure to properly set the filte...Santiago Pastorino-16/+33
2022-01-21Implement stable with negative coherence modeSantiago Pastorino-4/+95
2022-01-21Add overlap modeSantiago Pastorino-9/+27
2022-01-21Extract stable_disjoint fnSantiago Pastorino-21/+41
2022-01-21Move auxiliary fns out of overlap_with_probeSantiago Pastorino-19/+19
2022-01-21Use impl1 and impl2 instead of a and b prefixesSantiago Pastorino-16/+16
2022-01-18Rollup merge of #92780 - b-naber:postpone-const-eval-coherence, r=lcnrMatthias Krüger-6/+2
2022-01-17directly use ConstValue for single literals in blocksb-naber-6/+2
2022-01-15initial revertEllen-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-16 15:29:57 +0000