about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/region_constraints/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-18/+28
2025-07-31Avoid vacuous `Constraint::{VarSubVar,RegSubReg}` constraints.Nicholas Nethercote-2/+6
2025-07-04Fix pretty printing of placeholder typesMichael Goulet-1/+1
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+2
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-3/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-2/+2
2025-02-02Move `unify_key` module.Nicholas Nethercote-1/+1
2024-12-26nit: Remove redundant functionMichael Goulet-4/+0
2024-12-20remove non-borrowck member constraintslcnr-34/+2
2024-12-17`fn member_constraint` to `add_member_constraint`lcnr-1/+1
2024-10-08Use `Default` more in `InferCtxtInner`.Nicholas Nethercote-4/+0
2024-10-08Downgrade a `&mut self` to `&self`.Nicholas Nethercote-1/+1
2024-10-08Remove `Deref`/`DerefMut` impls for `RegionConstraintCollector`.Nicholas Nethercote-32/+18
2024-10-08Inline and remove `RegionConstraintStorage::remove_constraint_entry`.Nicholas Nethercote-24/+20
2024-10-08Inline and remove `RegionConstraintCollector::into_infos_and_data`.Nicholas Nethercote-10/+2
2024-10-07Rollup merge of #131344 - nnethercote:ref-Lrc, r=compiler-errorsMatthias Krüger-2/+2
2024-10-07Convert a `&Lrc<T>` argument to `Lrc<T>`.Nicholas Nethercote-2/+2
2024-10-07Reduce visibilities some more.Nicholas Nethercote-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-11/+7
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-03-21Stop sorting via `DefId`s in region resolutionOli Scherer-1/+1
2024-03-07move snapshot handling into modlcnr-5/+4
2024-02-22region unification update universe of region varslcnr-38/+69
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-13/+8
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-13/+8
2023-12-15Opportunistically resolve region var in canonicalizerMichael Goulet-5/+0
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-0/+5
2023-11-22Rollup merge of #118147 - Nilstrieb:no-redundant-casts, r=WaffleLapkinMichael Goulet-1/+1
2023-11-21Fix some unnecessary castsNilstrieb-1/+1
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-0/+4
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-3/+3
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-4/+4
2023-05-30rework the leak_check to take the outer_universelcnr-8/+3
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-4/+4
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-2/+2
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-41/+3
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-3/+41
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-41/+3
2023-03-08Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors-24/+21
2023-03-08address review commentAli MJ Al-Nasrawy-4/+7
2023-03-05fix the new unsoundnessAli MJ Al-Nasrawy-1/+8
2023-03-05s/unification_table/unification_table_mutAli MJ Al-Nasrawy-7/+8
2023-03-05resolve to universal regions when possibleAli MJ Al-Nasrawy-20/+6
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 13:51:38 +0000