summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-2/+2
2022-05-25add a deep fast_reject routinelcnr-19/+14
2022-05-19Auto merge of #97024 - lcnr:simplify_type-sus, r=<try>bors-2/+2
2022-05-18fix `simplify_type`lcnr-2/+2
2022-05-18Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errorsDylan DPC-10/+17
2022-05-13Add bound_impl_trait_refJack Huey-2/+2
2022-05-13Add bound_type_ofJack Huey-1/+1
2022-05-10Introduce EarlyBinderJack Huey-3/+3
2022-05-10update coherence docs, fix opaque type + generator icelcnr-10/+17
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 20:52:55 +0000