summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/diagnostics/mod.rs
AgeCommit message (Expand)AuthorLines
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-6/+8
2023-04-01Use `FieldIdx` in various things related to aggregatesScott McMurray-2/+3
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+1
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-5/+5
2023-03-21remove some trait solver helperslcnr-1/+0
2023-03-14Wrap the whole LocalInfo in ClearCrossCrate.Camille GILLOT-3/+3
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+1
2023-03-03Desugars drop and replace at MIR buildGiacomo Pasini-1/+14
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-26Wrap more into into closure_typeinfo query.Camille GILLOT-19/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-1/+1
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-7/+7
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-1/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-1/+1
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-0/+2
2023-01-28Also erase substs for new infcx in pin move errorNilstrieb-0/+4
2023-01-26add method_substs to CallKindKyle Matsuda-4/+2
2023-01-26fix up subst_identity vs skip_binder; add some FIXMEs as identified in reviewKyle Matsuda-1/+3
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-06Use fmt named parameters in rustc_borrowckwcampbell-22/+16
2022-12-26review commentsEsteban Küber-7/+5
2022-12-25Create new inference contextEsteban Küber-29/+33
2022-12-23Do not use `hir_ty_to_ty`Esteban Küber-15/+10
2022-12-23Verify receiver is of `self: Pin<&mut Self>`Esteban Küber-2/+6
2022-12-23Suggest `.clone()` on method call move errorsEsteban Küber-9/+34
2022-12-23Suggest `Pin::as_mut` when encountering borrow errorEsteban Küber-0/+11
2022-12-13Stop pointing to operators if their libcore method source is not availableOli Scherer-6/+1
2022-12-13Clarify what "this" meansOli Scherer-2/+15
2022-12-06`rustc_borrowck`: remove `ref` patternsMaybe Waffle-26/+21
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-11-23Account for closuresEsteban Küber-3/+5
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-1/+1
2022-11-09var_subdiag refinementAndyJado-11/+20
2022-11-09remove old var_span_path_onlyAndyJado-5/+28
2022-11-05first move on a nested span_labelAndyJado-0/+20
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-2/+3
2022-09-25Rollup merge of #101431 - compiler-errors:move-place-ty-for-move-place-sugg, ...fee1-dead-4/+5
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-0/+2
2022-09-05Look at move place's type when suggesting mutable reborrowMichael Goulet-4/+5
2022-08-16Make as_ref suggestion a noteMichael Goulet-8/+6
2022-08-14Suggest as_ref or as_mutMichael Goulet-1/+1
2022-07-31Improve `cannot move out of` error messageObei Sideg-17/+57
2022-07-30Use LocalDefId for closures moreCameron Steffen-18/+13
2022-07-20Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"Oli Scherer-2/+0
2022-07-15Introduce opaque type to hidden type projectionOli Scherer-0/+2
2022-07-14Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillotDylan DPC-3/+3
2022-07-12Add an indirection for closures in `hir::ExprKind`Maybe Waffle-3/+3