about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/auto_trait.rs
AgeCommit message (Expand)AuthorLines
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-2/+2
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-2/+6
2022-08-13avoid cloning and then iteratingKaDiWa-1/+1
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-4/+2
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-1/+1
2022-07-21`region_outlives_predicate` no snapshotlcnr-3/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-0/+1
2022-07-04implied bounds byebye nested hir idslcnr-9/+1
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+11
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-7/+7
2022-03-31Rollup merge of #94869 - jackh726:gats_extended, r=compiler-errorsDylan DPC-4/+5
2022-03-30Add the generic_associated_types_extended featureJack Huey-4/+5
2022-03-30Rollup merge of #95461 - nyurik:spelling, r=lcnrDylan DPC-4/+4
2022-03-30Spellchecking compiler codeYuri Astrakhan-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-4/+4
2022-03-27Remove SelectionContext::allow_negative_impls fieldGuillaume Gomez-2/+2
2022-03-26Fix perf issue for auto trait selectionGuillaume Gomez-0/+18
2022-02-19rustc_trait_selection: adopt let else in more placesest31-4/+3
2022-02-15Overhaul `Const`.Nicholas Nethercote-3/+3
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-8/+3
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-3/+3
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+1
2022-01-17Update with final commentskadmin-1/+1
2022-01-17Add term to ExistentialProjectionkadmin-3/+2
2022-01-17Update w/ commentskadmin-2/+1
2022-01-17Update term for use in more placeskadmin-5/+11
2021-12-18Ignore other `PredicateKind`s in rustdoc auto trait finderAaron Hill-1/+11
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-1/+6
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-6/+1
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-3/+3
2021-11-29Add constness to ParamEnvOli Scherer-1/+6
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-3/+3
2021-11-08fmtDeadbeef-1/+1
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-3/+5
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+2
2021-08-27Add `ty::BoundConstness`Deadbeef-1/+1
2021-08-13move Constness into TraitPredicateDeadbeef-9/+5
2021-03-31Cleanups and commentsJack Huey-1/+0
2021-03-31Some rebinds and dummysJack Huey-2/+3
2021-03-26Use iter::zip in compiler/Josh Stone-1/+4
2021-03-20update `const_eval_resolve`lcnr-9/+2
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-1/+6
2021-03-01Get TyCtxt from self instead of passing as argument in AutoTraitFinderNoam Koren-2/+2
2021-02-16Make `Clean` take &mut DocContextJoshua Nelson-1/+1
2021-01-16Review changesJack Huey-9/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-04 17:40:13 +0000