about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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
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
2022-09-07Rollup merge of #101503 - spastorino:add-debug-calls, r=compiler-errorsMatthias Krüger-0/+3
2022-09-07Auto merge of #101432 - nnethercote:shrink-PredicateS, r=lcnrbors-6/+6
2022-09-07Add instrument and debug callsSantiago Pastorino-0/+3
2022-09-07rustc: Parameterize `ty::Visibility` over used IDVadim Petrochenkov-3/+1
2022-09-06Rollup merge of #101434 - JhonnyBillM:replace-session-for-handler-in-into-dia...Guillaume Gomez-4/+4
2022-09-06Auto merge of #101359 - compiler-errors:cannot-call-trait-object-with-unsized...bors-0/+17
2022-09-06Auto merge of #101241 - camsteffen:refactor-binding-annotations, r=cjgillotbors-1/+1
2022-09-05Point out when a callable is not actually callable because its return is not ...Michael Goulet-0/+17
2022-09-05UPDATE - into_diagnostic to take a Handler instead of a ParseSessJhonny Bill Mena-4/+4
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-6/+6