about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/region_constraints/leak_check.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-25/+4
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2024-10-08Remove unnecessary lifetime from `LeakCheck`.Nicholas Nethercote-32/+22
2024-10-08Improve formatting of some comments.Nicholas Nethercote-5/+6
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+6
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/+1
2024-04-15Add an opt-in to store incoming edges in `VecGraph` + some docsMaybe Waffle-1/+1
2024-03-07move snapshot handling into modlcnr-5/+3
2024-02-22region unification update universe of region varslcnr-6/+6
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-4/+4
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-07-23fix some clippy::style findingsMatthias Krüger-3/+5
2023-05-30rework the leak_check to take the outer_universelcnr-56/+69
2023-05-30leak_check: remove unused codepathlcnr-20/+5
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-4/+4
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-2/+2
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+0
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-0/+3
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+0
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-5/+5
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-4/+2
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-2/+2
2022-10-28Remove #![allow(rustc::potential_query_instability)] from rustc_inferCastilloDel-3/+4
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-03-30Addressed comments by @compiler-errors and @bjorn3Yuri Astrakhan-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-3/+3
2022-02-21add commentlcnr-0/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-4/+4
2020-08-30mv compiler to compiler/mark-0/+446