about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-12-09Introduce `default_field_values` featureEsteban Küber-2/+6
2024-12-09Auto merge of #133891 - nnethercote:MixedBitSet, r=Mark-Simulacrumbors-2/+2
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-3/+4
2024-12-05Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`.Nicholas Nethercote-2/+2
2024-12-04add assertlcnr-0/+7
2024-12-04remove unnecessary `eval_verify_bound`lcnr-18/+1
2024-12-04Rollup merge of #133798 - lcnr:nested-bodies-opaques, r=compiler-errorsMatthias Krüger-43/+8
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-6/+4
2024-12-03small code cleanuplcnr-10/+7
2024-12-03closure requirements: don't replace bivariant opaque argslcnr-30/+0
2024-12-03update instrumentationlcnr-3/+1
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-6/+4
2024-11-28uplift fold_regions to rustc_type_irlcnr-13/+19
2024-11-27Structurally resolve before applying projection in borrowckMichael Goulet-2/+40
2024-11-25`add_move_error_suggestions`: use a HIR visitor rather than `SourceMap`dianne-39/+118
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-11/+7
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+5
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+2
2024-11-19Pass `flow_inits` by value.Nicholas Nethercote-11/+7
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-81/+72
2024-11-19Pass `constraints` to `RegionInferenceContext::new`.Nicholas Nethercote-37/+25
2024-11-19Don't refcount `PlaceholderIndices`.Nicholas Nethercote-5/+3
2024-11-19Inline and remove `TypeVerifier::new`.Nicholas Nethercote-8/+1
2024-11-19Compute `upvars` lazily.Nicholas Nethercote-7/+3
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-60/+46
2024-11-19Make `TypeChecker::region_bound_pairs` owned.Nicholas Nethercote-4/+4
2024-11-19Make `TypeChecker::known_type_outlives_obligations` owned.Nicholas Nethercote-9/+7
2024-11-19Don't pass `universal_regions` unnecessarily.Nicholas Nethercote-6/+5
2024-11-18reviewlcnr-1/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+19
2024-11-17Rollup merge of #133130 - dianne:fix-133118, r=compiler-errorsJacob Pratt-16/+10
2024-11-17`suggest_borrow_generic_arg`: instantiate clauses properlydianne-16/+10
2024-11-16Rollup merge of #132134 - nnethercote:rm-ResultsVisitable, r=cjgillotMatthias Krüger-80/+173
2024-11-13Suggest borrowing arguments in generic positions when trait bounds are satisfieddianne-159/+157
2024-11-13Use a common subdiagnostic format for generic borrowsdianne-5/+10
2024-11-13Provide borrow-instead-of-move suggestions for calls of fn-like items from ot...dianne-39/+40
2024-11-09Dont suggest use<APIT>Michael Goulet-26/+45
2024-11-08Get rid of check_opaque_type_well_formedMichael Goulet-89/+1
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-23/+20
2024-11-04Rollup merge of #131153 - VulnBandit:copy_impl_vuln, r=compiler-errorsJubilee-0/+17
2024-11-05Remove `ResultsVisitable`.Nicholas Nethercote-10/+6
2024-11-05Replace `BorrowckResults` with `Borrowck`.Nicholas Nethercote-71/+168
2024-11-04`BorrowckDiags` tweaks.Nicholas Nethercote-13/+5
2024-11-04Simplify `LocalUseMapBuild`.Nicholas Nethercote-48/+14
2024-11-04Merge `BorrowCheckContext` into `TypeChecker`.Nicholas Nethercote-173/+88
2024-11-04Remove unnecessary qualifiers.Nicholas Nethercote-3/+3
2024-11-04Remove unnecessary `continue`.Nicholas Nethercote-2/+1
2024-11-04Remove `ToUniverseInfo` impl for `CanonicalQueryInput<CustomTypeOp>`.Nicholas Nethercote-9/+0
2024-11-04Merge `UniverseInfo` and `UniverseInfoInner`.Nicholas Nethercote-25/+13
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-78/+92