summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-2/+7
2023-05-24Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch...Manish Goregaokar-1/+1
2023-05-24Rollup merge of #111840 - voidc:borrowck-consumers, r=oli-obkManish Goregaokar-1/+6
2023-05-24Rollup merge of #111759 - cjgillot:interval-kill, r=b-naberMatthias Krüger-1/+31
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-23Add RegionInferenceContext::outlives_constraintsDominik Stolz-1/+6
2023-05-22Check opaques for mismatch during writebackMichael Goulet-0/+2
2023-05-19Leverage the interval property to precompute borrow kill points.Camille GILLOT-1/+31
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-2/+2
2023-05-04Auto merge of #111014 - klensy:no-rc, r=WaffleLapkinbors-11/+8
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-30Lrc -> Rcklensy-1/+1
2023-04-30RegionInferenceContext: remove Rc from rev_scc_graph fieldklensy-11/+8
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-3/+3
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-23Auto merge of #108861 - b-naber:eager-nll-type-relating, r=lcnrbors-5/+6
2023-03-23Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-SimulacrumDylan DPC-4/+3
2023-03-22print sccs_info strings correctlyb-naber-5/+6
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-17Remove VecMapMichael Goulet-4/+3
2023-03-16Use sort_by_key instead of sort_byest31-2/+2
2023-03-09Remove body_def_id from InheritedMichael Goulet-1/+1
2023-03-07Auto merge of #108735 - clubby789:borrowck-unstable, r=Nilstriebbors-14/+17
2023-03-07Auto merge of #108691 - aliemjay:closure-subject, r=jackh726bors-86/+51
2023-03-05Remove `allow(potential_query_instability)` from `borrowck`clubby789-14/+17
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-2/+2
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-4/+4
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-15/+17
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+4
2023-02-21Rollup merge of #104239 - b-naber:sccs-info, r=jackh726Matthias Krüger-2/+77
2023-02-21address reviewb-naber-4/+4
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+2
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-2/+67
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-3/+3
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-3/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-10Auto merge of #107652 - estebank:re_error, r=oli-obkbors-3/+2
2023-02-09Cleanup free_region_relations a bitJack Huey-0/+1
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-3/+2