about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/lexical_region_resolve
AgeCommit message (Expand)AuthorLines
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
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-3/+3
2023-01-17Don't call closures immediately, use `try{}` blocksMaybe Waffle-11/+11
2023-01-12remove unreachable error code `E0490`Ezra Shaw-22/+3
2022-12-19clippy::complexity fixesMatthias Krüger-1/+1
2022-10-28Remove #![allow(rustc::potential_query_instability)] from rustc_inferCastilloDel-0/+3
2022-09-08Combine logic from lubs into lub_empty functionJack Huey-65/+46
2022-09-08Remove ReEmptyJack Huey-64/+4
2022-09-08Don't construct ReEmpty regions in resolve_varJack Huey-5/+102
2022-09-08Create VarValue::EmptyJack Huey-20/+181
2022-09-01tracing::instrument cleanupOli Scherer-7/+3
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-13/+15
2022-07-04remove an unused `DefId`lcnr-9/+5
2022-06-27fold_region: remove unused parameterlcnr-1/+1
2022-06-23normalize if-eq bounds before testingNiko Matsakis-1/+2
2022-06-23rename IfEqBound to IfEqNiko Matsakis-2/+2
2022-06-23remove VerifyBound::IfEq variantNiko Matsakis-5/+0