about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/lexical_region_resolve
AgeCommit message (Expand)AuthorLines
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-112/+122
2025-05-06Rename `graph::implementation::Graph` to `LinkedGraph`Zalathar-4/+4
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-14/+14
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-21Allow SliceIndex to be indexed by ranges.Jason Newcomb-1/+1
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-13/+10
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-03-21Stop sorting via `DefId`s in region resolutionOli Scherer-8/+11
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-8/+6
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-1/+1
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-1/+4
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-3/+9
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-9/+3
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-3/+9
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-21Fix some unnecessary castsNilstrieb-8/+4
2023-11-14finish `RegionKind` renamelcnr-14/+12
2023-11-13rename `ReLateBound` to `ReBound`lcnr-4/+4
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-08-26Merge if and match expressions that don't make sense to have separatedSantiago Pastorino-15/+10
2023-08-25Check that universe can name other universe instead of equalitySantiago Pastorino-4/+5
2023-08-25Remove lub_empty from lexical region resolveSantiago Pastorino-46/+19
2023-08-01Suppress unnecessary outlivesMichael Goulet-0/+4
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-3/+2
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-0/+11
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-19In `LexicalResolver`, don't construct graph unless necessary.Nicholas Nethercote-4/+7
2023-04-03Doc-comment `IndexVec::from_elem` and use it in a few more placesScott McMurray-1/+1
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-3/+3
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-46/+1
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-1/+46
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-46/+1
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-02-26Don't trigger ICE for ReError when the other region is empty.Lenko Donchev-2/+10
2023-02-22Auto merge of #108357 - matthiaskrgr:rollup-ceo3q2s, r=matthiaskrgrbors-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Don't delay ReError bug during lexical region resolveMichael Goulet-1/+1
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-09Use `ErrorGuaranteed` more in `ReError`Esteban Küber-3/+5
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-5/+5
2023-02-09review commentsEsteban Küber-1/+3
2023-02-09Introduce `ReError`Esteban Küber-5/+7
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-11/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 15:21:56 +0000