about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-3/+10
2021-11-29Add constness to ParamEnvOli Scherer-5/+15
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-10/+6
2021-11-14Fix span for non-satisfied trivial trait boundsNilstrieb-1/+2
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-9/+14
2021-11-06Improve terminology around "after typeck"pierwill-1/+1
2021-11-04Erase regions within `vtable_trait_first_method_offset`.Charles Lew-1/+4
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+1
2021-10-04Rollup merge of #89413 - matthewjasper:spec-marker-fix, r=nikomatsakisJubilee-1/+3
2021-10-03Practice diagnostic message conventionHirochika Matsumoto-1/+1
2021-09-30Elaborate predicates in min_specialization checksMatthew Jasper-1/+3
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/+1
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+2
2021-09-09rename mir -> thir around abstract constsEllen-5/+5
2021-09-05Add query `own_existential_vtable_entries`Gary Guo-17/+37
2021-09-05Stop allocating vtable entries for non-object-safe methodsGary Guo-4/+4
2021-08-27fmtDeadbeef-1/+4
2021-08-27Add `ty::BoundConstness`Deadbeef-1/+1
2021-08-26reviewlcnr-1/+1
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-1/+1
2021-08-20Add assertion to ensure the query doesn't get called before type infererence ...Charles Lew-2/+2
2021-08-18Fold `vtable_trait_upcasting_coercion_new_vptr_slot` logic into obligation pr...Charles Lew-36/+27
2021-08-03Implement pointer casting.Charles Lew-7/+9
2021-07-20Switch to store `Instance` directly within `VtblEntry`, fix `TraitVPtr` repre...Charles Lew-8/+18
2021-07-20Add internal attribute and tests.Charles Lew-1/+11
2021-07-20Refactor vtable format.Charles Lew-57/+298
2021-07-06Make type_implements_trait not a queryAman Arora-40/+1
2021-07-04tag issues with FIXMENiko Matsakis-1/+1
2021-07-04allow inference vars in type_implements_traitNiko Matsakis-4/+12
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-51/+82
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-1/+1
2021-02-28Remove an old FIXME comment and inline attributeÖmer Sinan Ağacan-1/+0
2021-02-05Revert "Auto merge of #79637 - spastorino:revert-trait-inheritance-self, r=Ma...Santiago Pastorino-1/+2
2021-01-31Add error message for private fnkadmin-1/+1
2021-01-16Review changesJack Huey-1/+1
2020-12-24use matches!() macro in more placesMatthias Krüger-3/+2
2020-12-02Revert "Auto merge of #79209 - spastorino:trait-inheritance-self, r=nikomatsa...Santiago Pastorino-2/+1
2020-11-29Auto merge of #79209 - spastorino:trait-inheritance-self, r=nikomatsakisbors-1/+2
2020-11-27Change comments on types to doc-commentsJoshua Nelson-6/+6
2020-11-27Allow to self reference associated types in where clausesSantiago Pastorino-1/+2
2020-11-16compiler: fold by valueBastian Kauschke-7/+7
2020-09-26Remove unused #[allow(...)] statements from compiler/est31-1/+0
2020-09-18support const_evaluatable_checked across crate boundariesBastian Kauschke-1/+1
2020-09-18use abstract consts when unifying ConstKind::UnevaluatedBastian Kauschke-0/+1
2020-09-18initial working stateBastian Kauschke-0/+14
2020-09-13Auto merge of #76244 - vandenheuvel:remove__paramenv__def_id, r=nikomatsakisbors-11/+4
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-11/+4
2020-09-08make `ConstEvaluatable` more strictBastian Kauschke-0/+1
2020-08-30mv compiler to compiler/mark-0/+563