about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-2/+2
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14Rollup merge of #113599 - chenyukang:yukang-fix-use-maybe_body_owned_by, r=cj...Matthias Krüger-77/+61
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-246/+237
2023-07-14fix the issue of shorthand in suggest_cloningyukang-3/+15
2023-07-14use maybe_body_owned_by for closureyukang-74/+46
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-78/+107
2023-07-12Auto merge of #112945 - compiler-errors:tighten-span-of-adjustment-error, r=o...bors-4/+4
2023-07-11Auto merge of #113316 - DrMeepster:underefer_perf, r=oli-obkbors-2/+2
2023-07-10Fix another strange suggestion spanMichael Goulet-2/+2
2023-07-10Don't use method span on clone suggestionMichael Goulet-2/+2
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-9/+13
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-16/+17
2023-07-04bring back un_derefer and rewrite it againDrMeepster-2/+2
2023-07-03Auto merge of #112882 - DrMeepster:new_un_derefer, r=oli-obkbors-1/+1
2023-07-01Rollup merge of #113174 - chenyukang:yukang-fix-102972-loop-next, r=compiler-...Matthias Krüger-2/+80
2023-06-30add typecheck for iteratoryukang-20/+17
2023-06-30Better messages for next in a iterator inside for loopsyukang-2/+83
2023-06-30Rollup merge of #111403 - y21:suggest-slice-swap, r=compiler-errorsMatthias Krüger-3/+4
2023-06-29Merge `un_derefer` into `MovePathLookup`DrMeepster-1/+1
2023-06-29add `slice::swap` suggestiony21-3/+4
2023-06-28don't suggest `move` for borrows that aren't closuresLukas Markeffsky-13/+14
2023-06-28Rollup merge of #112236 - cjgillot:interval-kill, r=davidtwcoDylan DPC-51/+43
2023-06-27Extract the local != local case in borrow_conflicts_with_place.Camille GILLOT-76/+67
2023-06-27Only consider places with the same local in each_borrow_involving_path.Camille GILLOT-14/+20
2023-06-27Auto merge of #112938 - compiler-errors:clause-3, r=oli-obkbors-7/+7
2023-06-27Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorinobors-36/+12
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-7/+7
2023-06-25use PlaceRef abstractions more consistentlyEric Mark Martin-36/+12
2023-06-24Rollup merge of #112703 - aliemjay:next-solver-root-var, r=compiler-errorsGuillaume Gomez-3/+2
2023-06-24instantiate hidden types in root universeAli MJ Al-Nasrawy-3/+2
2023-06-23Rollup merge of #112870 - compiler-errors:clause-2, r=oli-obkMatthias Krüger-1/+1
2023-06-23Rollup merge of #112933 - TaKO8Ki:avoid-&format-in-error-message-code, r=oli-obkMatthias Krüger-1/+1
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-1/+1
2023-06-23avoid `&format` in error message codeTakayuki Maeda-1/+1
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-17/+21
2023-06-20address most easy commentsZiru Niu-12/+15
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-54/+55
2023-06-19Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=...Michael Goulet-1/+2
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-16/+25
2023-06-19s/Clause/ClauseKindMichael Goulet-17/+21
2023-06-19Don't consider TAIT normalizable to hidden ty if it would result in impossibl...Michael Goulet-1/+2
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-16/+25
2023-06-17Move WF goal to clauseMichael Goulet-5/+8
2023-06-15Rollup merge of #112654 - aliemjay:closure-output-normalize, r=compiler-errorsGuillaume Gomez-15/+1
2023-06-15normalize closure output before relationAli MJ Al-Nasrawy-15/+1
2023-06-09split opaque type handling in new solverlcnr-7/+21
2023-06-09extract opaque type wf check into separate fnlcnr-65/+74
2023-06-09recompute opaque type originlcnr-18/+11
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-12/+15