summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
2021-11-25Visit `param_env` field in Obligation's `TypeFoldable` implAaron Hill-1/+2
2021-11-14Fix span for non-satisfied trivial trait boundsNilstrieb-0/+17
2021-11-11Auto merge of #90648 - matthewjasper:assoc-item-cleanup, r=cjgillotbors-3/+2
2021-11-08fmtDeadbeef-8/+3
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-4/+4
2021-11-07Remove some fields from `ObligationCauseCode`Matthew Jasper-3/+2
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-1/+19
2021-10-22Document flip polaritySantiago Pastorino-0/+3
2021-10-20Add TraitObligation::polarity() for better encapsulationSantiago Pastorino-0/+4
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-1/+12
2021-10-15Move push_outlives_components to rustc_inferjackh726-2/+2
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-1/+2
2021-09-17Add another case of fallback to () avoid breakageMark Rousskov-0/+3
2021-09-17Auto merge of #88945 - Aaron1011:no-projection-completion, r=wesleywiser,jack...bors-41/+0
2021-09-16Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisabors-5/+1
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-5/+1
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+2
2021-09-15Move object safety suggestions to the end of the errorEsteban Kuber-4/+8
2021-09-14Remove concept of 'completion' from the projection cacheAaron Hill-41/+0
2021-08-25Rollup merge of #88218 - Aaron1011:missing-method-dyn, r=nagisaLéo Lanteri Thauvin-6/+0
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-21Remove `Session.trait_methods_not_found`Aaron Hill-6/+0
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+4
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-13Pass constness to SelectionContextDeadbeef-0/+18
2021-08-13move Constness into TraitPredicateDeadbeef-1/+1
2021-07-20Refactor vtable format.Charles Lew-3/+3
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-1/+6
2021-04-28Don't rebind in transitive_bounds_that_define_assoc_typeJack Huey-3/+1
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-26Use iter::zip in compiler/Josh Stone-1/+2
2021-03-15More precise spans for HIR pathsVadim Petrochenkov-1/+1
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-02-08Anonymize late bound regions on transitive bounds that define assoc typeSantiago Pastorino-15/+22
2021-02-05Adapt to latest master changes by using PredicateKindSantiago Pastorino-1/+1
2021-02-05Revert "Auto merge of #79637 - spastorino:revert-trait-inheritance-self, r=Ma...Santiago Pastorino-1/+33
2021-01-16Review changesJack Huey-15/+15
2021-01-16CleanupJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-6/+2
2021-01-16Remove PredicateKind::AtomJack Huey-1/+0
2020-12-20Prevent caching projections in the case of cyclesMatthew Jasper-1/+15
2020-12-02Revert "Auto merge of #79209 - spastorino:trait-inheritance-self, r=nikomatsa...Santiago Pastorino-33/+1
2020-11-27Return FxIndexSet instead of FxHashSet to avoid order errors on different pla...Santiago Pastorino-3/+3
2020-11-27Inline elaborate_trait_refs_that_define_assoc_type into transitive_bounds_tha...Santiago Pastorino-32/+24
2020-11-27Document elaborate_trait_refs_that_define_assoc_typeSantiago Pastorino-0/+5
2020-11-27Allow to self reference associated types in where clausesSantiago Pastorino-0/+35
2020-11-22Thread `Constness` through selectionJonas Schievink-1/+1
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-1/+1
2020-11-16wordslcnr-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 14:16:03 +0000