about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/region_constraints
AgeCommit message (Expand)AuthorLines
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-43/+32
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-3/+3
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-08Remove unnecessary lifetime from `LeakCheck`.Nicholas Nethercote-32/+22
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-08Improve formatting of some comments.Nicholas Nethercote-5/+6
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/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-15/+13
2024-06-06Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-06-06Uplift TypeErrorMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+2
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-15Add an opt-in to store incoming edges in `VecGraph` + some docsMaybe Waffle-1/+1
2024-03-21Stop sorting via `DefId`s in region resolutionOli Scherer-1/+1
2024-03-07move snapshot handling into modlcnr-10/+7
2024-02-22region unification update universe of region varslcnr-44/+75
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-17/+12
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-17/+12
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-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+2
2023-11-21Fix some unnecessary castsNilstrieb-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-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-07-23fix some clippy::style findingsMatthias Krüger-3/+5
2023-05-30rework the leak_check to take the outer_universelcnr-64/+72
2023-05-30leak_check: remove unused codepathlcnr-20/+5
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-8/+8
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-2/+2
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 18:08:41 +0000