about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer/mod.rs
AgeCommit message (Expand)AuthorLines
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-23/+6
2023-12-01move and maintain live loans in `LivenessValues`Rémy Rakic-9/+3
2023-11-26Auto merge of #117880 - lqd:liveness-values, r=cjgillotbors-8/+8
2023-11-16Auto merge of #116097 - jackh726:higher-ranked-lifetime-error-backup, r=compi...bors-0/+9
2023-11-14rename debugging support functionsRémy Rakic-1/+1
2023-11-14`LivenessValues` does not need to be generic over regionsRémy Rakic-2/+2
2023-11-13regions do not contain liveness elementsRémy Rakic-4/+4
2023-11-13iterate over regions and not "rows" in liveness valuesRémy Rakic-1/+1
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-05compute NLL loan scopes with liveness in `-Zpolonius=next`Rémy Rakic-2/+44
2023-10-04introduce `Polonius` enum for `-Zpolonius`Rémy Rakic-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-08-30return default `UniverseInfo` cause in `RegionInferenceContext`Rémy Rakic-1/+8
2023-08-04don't ICE on higher ranked hidden typesAli MJ Al-Nasrawy-11/+14
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-11/+10
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-3/+10
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-3/+3
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-1/+6
2023-05-23Add RegionInferenceContext::outlives_constraintsDominik Stolz-1/+6
2023-05-19Leverage the interval property to precompute borrow kill points.Camille GILLOT-1/+15
2023-04-30RegionInferenceContext: remove Rc from rev_scc_graph fieldklensy-3/+3
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-13Remove `ToRegionVid`.Nicholas Nethercote-1/+1
2023-04-13Remove `impl ToRegionVid for RegionVid`.Nicholas Nethercote-12/+9
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-3/+3
2023-03-22print sccs_info strings correctlyb-naber-5/+6
2023-03-16Use sort_by_key instead of sort_byest31-2/+2
2023-03-07Auto merge of #108735 - clubby789:borrowck-unstable, r=Nilstriebbors-7/+10
2023-03-07Auto merge of #108691 - aliemjay:closure-subject, r=jackh726bors-86/+51
2023-03-05Remove `allow(potential_query_instability)` from `borrowck`clubby789-7/+10
2023-03-04tweak ClosureOutlivesSubjectTyAli MJ Al-Nasrawy-1/+1
2023-03-03ignore bivariant regions in opaque typesAli MJ Al-Nasrawy-0/+30
2023-03-03smarter algorithm for finding an equal regionAli MJ Al-Nasrawy-67/+9
2023-03-03promote subject even if it has unnamed regionsAli MJ Al-Nasrawy-21/+14
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-21address reviewb-naber-4/+4
2023-02-20remove cfg attributesb-naber-5/+5
2023-02-19add some cfgs backb-naber-10/+24
2023-02-19remove cfgsb-naber-6/+2
2023-02-19sccs infob-naber-1/+66
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-2/+2
2023-02-15Rollup merge of #105300 - aliemjay:member-lower, r=oli-obkDylan DPC-11/+24
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-17 10:57:56 +0000