about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-12-29record variance of regular live regionsRémy Rakic-3/+21
2024-12-29record variance of use/drop live regionsRémy Rakic-6/+12
2024-12-29add variance recordingRémy Rakic-0/+126
2024-12-29introduce polonius contextRémy Rakic-47/+104
2024-12-29Auto merge of #134627 - estebank:issue-133252, r=jackh726bors-2/+8
2024-12-27Rollup merge of #134827 - compiler-errors:borrowck-nits, r=lqdDavid Tolnay-0/+6
2024-12-27Make sure there are no registered constraints from creating universal region ...Michael Goulet-0/+6
2024-12-27Fix typoschloefeal-1/+1
2024-12-24Auto merge of #134625 - compiler-errors:unsafe-binders-ty, r=oli-obkbors-0/+2
2024-12-23Auto merge of #134465 - lcnr:type-verifier, r=compiler-errorsbors-317/+84
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+2
2024-12-22Delete `Rvalue::Len`Scott McMurray-19/+5
2024-12-21Auto merge of #134268 - lqd:polonius-next, r=jackh726bors-34/+408
2024-12-21Avoid ICE in borrowckEsteban Küber-2/+8
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-96/+381
2024-12-20Rollup merge of #134574 - lcnr:opaque-ty-hack-yeet, r=compiler-errorsMatthias Krüger-6/+7
2024-12-20next-solver: rm opaque type hacklcnr-6/+7
2024-12-20add commentslcnr-3/+6
2024-12-20remove non-borrowck member constraintslcnr-33/+14
2024-12-20more directly handle member constraintslcnr-71/+375
2024-12-20cleanup promoteds move checklcnr-9/+9
2024-12-19Auto merge of #134499 - jieyouxu:rollup-zmaveur, r=jieyouxubors-29/+33
2024-12-19Rollup merge of #134477 - lcnr:move-lint-into-subfn, r=lqd许杰友 Jieyou Xu (Joe)-29/+33
2024-12-19Auto merge of #133961 - lcnr:borrowck-cleanup, r=jackh726bors-16/+18
2024-12-18Auto merge of #133328 - nnethercote:simplify-SwitchInt-handling, r=tmiaskobors-11/+1
2024-12-18move lint_unused_mut into subfnlcnr-29/+33
2024-12-18fix crasheslcnr-1/+1
2024-12-18introduce `LateParamRegionKind`lcnr-15/+17
2024-12-18we aren't actually sanitizing anything anymorelcnr-40/+31
2024-12-18merge PlaceTy field_ty computationlcnr-105/+12
2024-12-18TypeVerifier: stop computing types for later uselcnr-172/+74
2024-12-18rm TypeChecker::sanitize_typelcnr-19/+1
2024-12-18get_ambient_variance to inherent methodlcnr-17/+2
2024-12-18address review commentsRémy Rakic-29/+27
2024-12-18introduce beginnings of polonius MIR dumpRémy Rakic-0/+118
2024-12-18extract main NLL MIR dump functionRémy Rakic-34/+46
2024-12-18set up skeleton for localized constraints conversionRémy Rakic-1/+164
2024-12-18add general documentation on the polonius moduleRémy Rakic-0/+35
2024-12-18introduce localized outlives constraintsRémy Rakic-0/+48
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-21/+11
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-21/+11
2024-12-17Rollup merge of #134378 - lqd:polonius-next-episode-2, r=jackh726Matthias Krüger-260/+240
2024-12-17Rollup merge of #134412 - lcnr:borrowck-cleanup-trivial, r=jackh726Jacob Pratt-18/+17
2024-12-17Rollup merge of #134397 - Enselic:raw-mut, r=compiler-errorsJacob Pratt-10/+20
2024-12-17small refactor to region error handlinglcnr-11/+13
2024-12-17move variable initializationlcnr-7/+4
2024-12-16rustc_borrowck: Suggest changing `&raw const` to `&raw mut` if applicableMartin Nordholts-4/+15
2024-12-16rustc_borrowck: suggest_ampmut(): Inline unneeded local varMartin Nordholts-2/+1
2024-12-16rustc_borrowck: suggest_ampmut(): Just rename some variablesMartin Nordholts-6/+6
2024-12-16Avoid wrapping a trivially defaultable type in `Option`Oli Scherer-6/+3