summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
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
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-13/+20
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-13/+20
2023-08-30return default `UniverseInfo` cause in `RegionInferenceContext`Rémy Rakic-1/+8
2023-08-14reviewlcnr-9/+6
2023-08-14check for non-defining uses of RPITlcnr-27/+17
2023-08-04don't ICE on higher ranked hidden typesAli MJ Al-Nasrawy-11/+29
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-14/+11
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-14/+11
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-29/+28
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-3/+10
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-6/+6
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+3
2023-06-17Move WF goal to clauseMichael Goulet-1/+2
2023-06-09extract opaque type wf check into separate fnlcnr-65/+74
2023-06-09recompute opaque type originlcnr-14/+9
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-06-01Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnrDylan DPC-2/+12
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-4/+5
2023-05-26Use DefiningAnchor::Bind in infer_opaque_definition_from_instantiationMichael Goulet-2/+12
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 20:44:43 +0000