about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-12/+8
2022-09-19Auto merge of #101629 - compiler-errors:issue-101623, r=sanxiynbors-3/+4
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-6/+8
2022-09-18make projection bounds with const bounds satisfy constDeadbeef-13/+16
2022-09-17Use Predicate ConstraintCategory when normalizingJack Huey-1/+2
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-15/+9
2022-09-16Final bitsJack Huey-4/+4
2022-09-16Add AscribeUserTypeProvePredicateJack Huey-1/+2
2022-09-16Auto merge of #101902 - jackh726:revert-static-hrtb-error, r=nikomatsakisbors-8/+6
2022-09-16Revert "Better errors for implied static bound"Jack Huey-6/+5
2022-09-16Revert "Use Predicate ConstraintCategory when normalizing"Jack Huey-2/+1
2022-09-16Auto merge of #101860 - oli-obk:information_throwing, r=compiler-errorsbors-20/+16
2022-09-16Normalize param_env for trait assoc consts in typeckDeadbeef-1/+1
2022-09-16Do not require const predicates to hold when checking if a projection type is wfDeadbeef-1/+2
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
2022-09-15Don't throw away information just to recompute it againOli Scherer-20/+16
2022-09-15Normalize struct types in confirm_builtin_unsize_candidateMichael Goulet-3/+19
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-12/+15
2022-09-13Use Predicate ConstraintCategory when normalizingJack Huey-1/+2
2022-09-13Better errors for implied static boundJack Huey-5/+6
2022-09-13Address code review commentsEric Holk-7/+5
2022-09-13rebaseb-naber-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-14/+8
2022-09-13Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errorsbors-2/+0
2022-09-12Make x.py check workEric Holk-1/+1
2022-09-12Rename some variantsMichael Goulet-6/+3
2022-09-12Typecheck dyn* coercionsEric Holk-2/+4
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-11/+17
2022-09-12Rollup merge of #101723 - lukas-code:await-diag, r=compiler-errorsGuillaume Gomez-2/+2
2022-09-12Impove diagnostic for .await-ing non-futuresLukas Markeffsky-2/+2
2022-09-12Rollup merge of #101681 - compiler-errors:rpitit-obj-safety, r=lcnrDylan DPC-0/+26
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-5/+56
2022-09-12fn pointers don't implement Fn/FnMut/FnOnce traits if its return type is unsizedMichael Goulet-1/+30
2022-09-11Deny RPITIT for object safetyMichael Goulet-0/+26
2022-09-11minor fixups as per PR feedbackAndrew Cann-29/+15
2022-09-11Apply formatting fixesAndrew Cann-8/+17
2022-09-11fix GeneratorWitness: Clone checkAndrew Cann-9/+14
2022-09-11loosen restriction on when GeneratorWitness: CloneAndrew Cann-17/+13
2022-09-11add generator_clone feature gateAndrew Cann-24/+32
2022-09-11implement Copy/Clone for generatorsAndrew Cann-2/+34
2022-09-10Auto merge of #98559 - jackh726:remove-reempty, r=oli-obkbors-0/+4
2022-09-09Be careful about expr_ty_adjusted when noting block tail typeMichael Goulet-3/+4
2022-09-09rename `codegen_fulfill_obligation`lcnr-2/+2
2022-09-09Handle generic parameters.Camille GILLOT-1/+1
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-7/+6
2022-09-09Address nitsMichael Goulet-3/+3
2022-09-09Implement projection for ImplTraitPlaceholderMichael Goulet-0/+117
2022-09-09Lower RPITIT to ImplTraitPlaceholder itemMichael Goulet-0/+5
2022-09-08Create VarValue::EmptyJack Huey-0/+4