about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2022-03-24Implement impl_subject_and_oblig instead of repeating the implsSantiago Pastorino-27/+5
2022-03-24Where bounds are checked on inherent implsSantiago Pastorino-2/+8
2022-03-24Normalize both trait and inherentSantiago Pastorino-16/+9
2022-03-24Extract impl_subject_and_oglibations fn and make equate receive subjectsSantiago Pastorino-43/+42
2022-03-22impl_header -> impl_subjectSantiago Pastorino-1/+1
2022-03-20Extract ImplSubject informationSantiago Pastorino-37/+38
2022-03-18Minor documentation type fixes h/t @pierwillSantiago Pastorino-2/+2
2022-03-18Extract obligations_satisfiable fnSantiago Pastorino-42/+44
2022-03-18Fix inherent impls on negative coherenceSantiago Pastorino-43/+67
2022-03-17Update compiler/rustc_trait_selection/src/traits/coherence.rsNiko Matsakis-1/+0
2022-03-17Use let else hereSantiago Pastorino-26/+26
2022-03-17Add more commmentsSantiago Pastorino-0/+2
2022-03-17This test now worksSantiago Pastorino-0/+1
2022-03-17Extract obligation resolution to functionSantiago Pastorino-30/+46
2022-03-17Make negative coherence work when there's impl negative on super predicatesSantiago Pastorino-8/+16
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-2/+2
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-3/+3
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-21update docs for `simplify_type`lcnr-3/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 23:25:01 +0000