summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-10-04improve infer var handling for implied boundslcnr-1/+2
2022-10-04Use Predicate ConstraintCategory when normalizingJack Huey-1/+2
2022-10-04Final bitsJack Huey-4/+4
2022-10-04Add AscribeUserTypeProvePredicateJack 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-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-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-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-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
2022-09-08Rollup merge of #101424 - compiler-errors:operator-err-sugg, r=TaKO8KiDylan DPC-12/+14
2022-09-08Auto merge of #98900 - lcnr:region-stuff, r=jackh726bors-13/+54
2022-09-08don't evaluate with escaping bound varslcnr-13/+54
2022-09-08stop evaluating constants in `Relate`lcnr-1/+1
2022-09-08Rollup merge of #101498 - petrochenkov:visparam, r=cjgillotDylan DPC-3/+1
2022-09-08Adjust spacing in suggestion, add a testMichael Goulet-2/+2
2022-09-08Add associated item binding to non-param-ty where clause suggestionsMichael Goulet-11/+13