about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-09-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-8/+11
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-6/+6
2022-09-22Auto merge of #102139 - Dylan-DPC:rollup-ljlipt8, r=Dylan-DPCbors-18/+21
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-18/+21
2022-09-22Auto merge of #100980 - compiler-errors:normalize-opaque-w-bound-vars, r=lcnrbors-2/+2
2022-09-22introduce mir::Unevaluatedb-naber-5/+8
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-2/+3
2022-09-22Normalize opaques with escaping bound varsMichael Goulet-2/+2
2022-09-21FIX - adopt new Diagnostic naming in newly migrated modulesJhonny Bill Mena-1/+1
2022-09-21UPDATE - rename DiagnosticHandler macro to DiagnosticJhonny Bill Mena-7/+7
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-9/+9
2022-09-21UPDATE - move SessionDiagnostic from rustc_session to rustc_errorsJhonny Bill Mena-2/+2
2022-09-21Auto merge of #100096 - compiler-errors:fn-return-must-be-sized, r=jackh726bors-1/+30
2022-09-20Auto merge of #101989 - fee1-dead-contrib:const_trait_impl-assoc-caller-bound...bors-13/+16
2022-09-19Make cycle errors recoverableJoshua Nelson-4/+18
2022-09-19Make `OUT` an associated type instead of a generic parameterJoshua Nelson-0/+1
2022-09-19slightly cleanup building SelectionContextJoshua Nelson-14/+2
2022-09-19Auto merge of #101901 - lcnr:early-binder-type-foldable, r=compiler-errorsbors-12/+8
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