about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives/components.rs
AgeCommit message (Expand)AuthorLines
2024-07-06Uplift push_outlives_componentsMichael Goulet-266/+0
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+5
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-15Annotate some bugsMichael Goulet-1/+3
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-1/+5
2023-11-13rename `ReLateBound` to `ReBound`lcnr-4/+4
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-13/+13
2023-04-16Account for variance in outlives verification.Camille GILLOT-2/+38
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+1
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-17/+6
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-2/+2
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-9/+6
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-2/+15
2022-07-15Auto merge of #97406 - aliemjay:verify-bounds-fix-master, r=oli-obkbors-1/+5
2022-07-14Make outlives::{components,verify} agreeAli MJ Al-Nasrawy-1/+5
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-03-30Addressed comments by @compiler-errors and @bjorn3Yuri Astrakhan-1/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-01-15initial revertEllen-1/+1
2021-12-13Remove `in_band_lifetimes` from `rustc_infer`LegionMammal978-3/+3
2021-10-15Move push_outlives_components to rustc_inferjackh726-0/+215
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 23:23:15 +0000