summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2022-08-23Use CRATE_HIR_ID and CRATE_DEF_ID for obligations from foreign cratesSantiago Pastorino-11/+13
2022-08-23Do not use unneeded extra errors variableSantiago Pastorino-2/+1
2022-08-23Permit negative impls coherence to take advantage of implied boundsSantiago Pastorino-8/+26
2022-08-20Use separate infcx to solve obligations during negative coherenceMichael Goulet-13/+8
2022-08-17`is_knowable` use `Result` instead of `Option`lcnr-5/+5
2022-08-15Rollup merge of #100514 - compiler-errors:issue-100191, r=spastorinoMatthias Krüger-1/+7
2022-08-14Rollup merge of #99861 - lcnr:orphan-check-cg, r=jackh726Dylan DPC-1/+15
2022-08-13Delay span bug when failing to normalize negative coherence impl subject due ...Michael Goulet-1/+7
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-9/+4
2022-08-04Remove FulfillmentContext param from fully_normalizeMichael Goulet-1/+0
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-2/+2
2022-07-29update commentlcnr-10/+15
2022-07-29Document check_region_obligations_and_report_errors, simplify a call to resol...Michael Goulet-7/+1
2022-07-28orphan check: remove const generics fixmelcnr-1/+10
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-2/+2
2022-07-25Restore Opaque behavior to coherence checkMichael Goulet-1/+30
2022-07-21rewrite the orphan check to use a type visitorlcnr-169/+124
2022-07-21orphan check: opaque types are an errorlcnr-29/+1
2022-07-10Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi...rhysd-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-04implied bounds byebye nested hir idslcnr-12/+3
2022-07-04remove an unused `DefId`lcnr-8/+5
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-5/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 18:44:11 +0000