about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/diagnostics
AgeCommit message (Expand)AuthorLines
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-27/+21
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-23/+18
2022-10-22Don't ICE on regions from anonymous_lifetime_in_impl_traitMichael Goulet-8/+92
2022-10-20Add context to compiler error messageb4den-1/+1
2022-10-20Auto merge of #103290 - matthiaskrgr:rollup-ngozai3, r=matthiaskrgrbors-2/+9
2022-10-19Erase regions before checking for default in uninitialized binding errorMichael Goulet-2/+9
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-21/+27
2022-10-16Auto merge of #102080 - yanchen4791:issue-99824-fix, r=cjgillotbors-133/+23
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-100/+67
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-10-07Introduce TypeErrCtxtCameron Steffen-34/+31
2022-10-06Auto merge of #99324 - reez12g:issue-99144, r=jyn514bors-1/+1
2022-10-02Remove 'E0312' from 'compile_fail,E0312' statement temporarilyreez12g-1/+1
2022-09-29Generate synthetic impl region even in closure body in associated fnMichael Goulet-5/+3
2022-09-29Mark ignore on error code docs in compiler/rustc_borrowck/src/diagnostics/reg...reez12g-1/+1
2022-09-28Fix missing explanation of where borrowed reference is used when the borrow o...Yan Chen-133/+23
2022-09-26Auto merge of #102184 - chenyukang:fix-102087-add-binding-sugg, r=nagisabors-0/+70
2022-09-26fix #102087, Suggest Default::default() when binding isn't initializedyukang-0/+70
2022-09-25Rollup merge of #101431 - compiler-errors:move-place-ty-for-move-place-sugg, ...fee1-dead-6/+6
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-5/+7
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-1/+6
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-17Use Predicate ConstraintCategory when normalizingJack Huey-6/+14
2022-09-16Final bitsJack Huey-1/+4
2022-09-16Add ExtraConstraintInfoJack Huey-8/+18
2022-09-16Add outlives_constraint to BlameConstraintJack Huey-6/+7
2022-09-16Revert "Better errors for implied static bound"Jack Huey-26/+12
2022-09-16Revert "Use Predicate ConstraintCategory when normalizing"Jack Huey-14/+6
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-1/+6
2022-09-13Use Predicate ConstraintCategory when normalizingJack Huey-6/+14
2022-09-13Better errors for implied static boundJack Huey-12/+26
2022-09-13Remove unused body argsJack Huey-9/+6
2022-09-13Use tcx.hir() utils for spans in MIR building.Camille GILLOT-3/+4
2022-09-13Only keep one version of ImplicitSelfKind.Camille GILLOT-6/+3
2022-09-10Auto merge of #98559 - jackh726:remove-reempty, r=oli-obkbors-5/+1
2022-09-09Handle generic parameters.Camille GILLOT-1/+1
2022-09-08Remove ReEmptyJack Huey-5/+1
2022-09-06Auto merge of #101241 - camsteffen:refactor-binding-annotations, r=cjgillotbors-1/+1
2022-09-05Auto merge of #101261 - TaKO8Ki:separate-receiver-from-arguments-in-hir, r=cj...bors-12/+7
2022-09-05use `propagate_through_exprs` instead of `propagate_through_expr`Takayuki Maeda-2/+0
2022-09-05Auto merge of #101228 - nnethercote:simplify-hir-PathSegment, r=petrochenkovbors-4/+5
2022-09-05refactor: remove unnecessary variablesTakayuki Maeda-1/+2
2022-09-05separate the receiver from arguments in HIRTakayuki Maeda-12/+8
2022-09-05Look at move place's type when suggesting mutable reborrowMichael Goulet-6/+6
2022-09-05Don't suggest reborrow if usage is inside a closureMichael Goulet-1/+2
2022-09-05Make `hir::PathSegment::hir_id` non-optional.Nicholas Nethercote-4/+5
2022-09-02Refactor and re-use BindingAnnotationCameron Steffen-1/+1
2022-09-01Rollup merge of #101285 - TaKO8Ki:do-not-suggest-adding-move-when-closure-is-...Matthias Krüger-3/+11
2022-09-01Always import all tracing macros for the entire crate instead of piecemeal by...Oli Scherer-1/+0
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-5/+5