summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2023-10-20revert rust-lang/rust#114586Ali MJ Al-Nasrawy-20/+13
2023-09-26subst -> instantiatelcnr-1/+1
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
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