about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-3/+3
2022-03-16rustc_error: make ErrorReported impossible to constructmark-6/+8
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-3/+3
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-5/+5
2022-02-19rustc_trait_selection: adopt let else in more placesest31-17/+10
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-15initial revertEllen-1/+1
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-10/+26
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-26/+10
2021-11-29Completely remove ConstnessAndOli Scherer-2/+1
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