about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/region_constraints
AgeCommit message (Expand)AuthorLines
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-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-5/+6
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
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-30Addressed comments by @compiler-errors and @bjorn3Yuri Astrakhan-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-4/+4
2022-03-028 - Make more use of `let_chains`Caio-4/+2
2022-02-21add commentlcnr-0/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-39/+34
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/+1275
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 06:42:36 +0000