about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-8/+11
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-22`report_mismatch` did not actually report anymoreOli Scherer-1/+1
2024-02-22Avoid emitting type mismatches against `{type error}`Oli Scherer-6/+8
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-9/+3
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-12/+12
2024-02-12Dejargnonize substShoyu Vanilla-12/+12
2024-02-12remove a bunch of dead parameters in fnyukang-3/+3
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-8/+2
2024-02-06Invert diagnostic lints.Nicholas Nethercote-8/+2
2024-02-02Remove dead args from functionsMichael Goulet-39/+2
2024-01-20Auto merge of #120003 - Mark-Simulacrum:opt-promoted, r=davidtwcobors-17/+72
2024-01-20Don't use ReErased to detect type test promotion failedMichael Goulet-5/+9
2024-01-19perf: Don't track specific live points for promotedsMark Rousskov-17/+72
2024-01-17Rollup merge of #115291 - cjgillot:dest-prop-save, r=JakobDegenMatthias Krüger-97/+13
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+1
2024-01-07Move PointIndex to mir_dataflow.Camille GILLOT-97/+13
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-23/+6
2023-12-14update use of feature flagslcnr-1/+1
2023-12-10remove redundant importssurechen-1/+0
2023-12-01move and maintain live loans in `LivenessValues`Rémy Rakic-10/+64
2023-11-26Auto merge of #117880 - lqd:liveness-values, r=cjgillotbors-49/+54
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-16Auto merge of #116097 - jackh726:higher-ranked-lifetime-error-backup, r=compi...bors-0/+9
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-14rename debugging support functionsRémy Rakic-9/+12
2023-11-14`LivenessValues` does not need to be generic over regionsRémy Rakic-14/+14
2023-11-14introduce `is_live_anywhere` instead of peeking into pointsRémy Rakic-5/+11
2023-11-13fix docRémy Rakic-5/+3
2023-11-13regions do not contain liveness elementsRémy Rakic-8/+8
2023-11-13refer to points and not "elements", and remove unused return valueRémy Rakic-5/+4
2023-11-13add locations instead of "element"s, and remove unused return valueRémy Rakic-6/+5
2023-11-13iterate over regions and not "rows" in liveness valuesRémy Rakic-2/+2
2023-11-13stop referring to a region as a "row" in liveness valuesRémy Rakic-17/+17
2023-11-04traverse region graph instead of SCCs to compute polonius loan scopesRémy Rakic-10/+11
2023-10-20consider a loan escapes the function via applied member constraintsRémy Rakic-5/+0
2023-10-19make `applied_member_constraints` accept an SCC instead of a regionRémy Rakic-6/+7
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-20/+13
2023-10-16Remove `DefiningAnchor::Bubble` from opaque wf checkMichael Goulet-8/+8
2023-10-11Auto merge of #113218 - lqd:polonius-scopes, r=jackh726bors-3/+50
2023-10-05compute NLL loan scopes with liveness in `-Zpolonius=next`Rémy Rakic-2/+44
2023-10-05allow access to liveness' `PointIndex`esRémy Rakic-0/+5
2023-10-04introduce `Polonius` enum for `-Zpolonius`Rémy Rakic-1/+1
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-09-26subst -> instantiatelcnr-1/+1
2023-09-24Try to use approximate placeholder regions when outputting an AscribeUserType...Jack Huey-0/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 11:07:20 +0000