about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/region_constraints/mod.rs
AgeCommit message (Expand)AuthorLines
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-3/+3
2023-02-15Remove `reuse_or_mk_region`.Nicholas Nethercote-1/+1
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-3/+5
2023-02-09Introduce `ReError`Esteban Küber-1/+1
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-10/+4
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-12/+8
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-10-28Remove #![allow(rustc::potential_query_instability)] from rustc_inferCastilloDel-2/+2
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-0/+10
2022-09-08Make some functions pub(super)Jack Huey-14/+14
2022-09-08Remove ReEmptyJack Huey-1/+0
2022-08-09don't normalize wf predicateslcnr-1/+1
2022-07-26Use real opaque type instead of just saying impl TraitMichael Goulet-3/+2
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-2/+2
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-2/+2
2022-06-23coallesce docsNiko Matsakis-65/+32
2022-06-23rename IfEqBound to IfEqNiko Matsakis-3/+3
2022-06-23remove VerifyBound::IfEq variantNiko Matsakis-31/+31
2022-06-15implement (unused) matching solverNiko Matsakis-0/+47
2022-06-15simply the IfEq bound -- we only ever use a regionNiko Matsakis-2/+2
2022-05-02fix most compiler/ doctestsElliot Roberts-13/+13
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-028 - Make more use of `let_chains`Caio-4/+2
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-35/+30
2022-02-14Call the method fork instead of clone and add proper commentsSantiago Pastorino-1/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-2/+2
2021-09-28More tracing instrumentationOli Scherer-4/+2
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-15Report nicer errors for HRTB NLL errors from queriesMatthew Jasper-0/+5
2021-06-14Use the now available implementation of `IntoIterator` for arraysLeSeulArtichaut-1/+1
2021-05-15Add comments to opportunistic resolve functionsJack Huey-0/+4
2021-05-15Missed a couple thingsJack Huey-1/+1
2021-05-15Revert to only using opportunistic_resolve_vars for existing placesJack Huey-2/+5
2021-05-14Store Option<Region> as value for RegionVidJack Huey-16/+36
2021-05-14Make the UnifyValue for RegionVid ()Jack Huey-4/+3
2021-03-27Remove (lots of) dead codeJoshua Nelson-40/+0
2020-08-30mv compiler to compiler/mark-0/+826
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 12:10:02 +0000