about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives/env.rs
AgeCommit message (Expand)AuthorLines
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-5/+3
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-1/+12
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-01-28Move param env bound deep normalization to OutlivesEnvironment buildingMichael Goulet-23/+15
2025-01-28Move outlives env computation into methodsMichael Goulet-6/+0
2024-10-08Remove `OutlivesEnvironmentBuilder`.Nicholas Nethercote-61/+26
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-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-2/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-03-26tolerate region vars in implied boundsAli MJ Al-Nasrawy-1/+4
2023-03-26exhaustive match on implied bounds regionsAli MJ Al-Nasrawy-15/+8
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-29/+17
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-13/+32
2023-03-09exhaustive match on implied bounds regionsAli MJ Al-Nasrawy-15/+8
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-29/+17
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-2/+2
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-6/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-4/+4
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-0/+4
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-0/+4
2022-09-19improve infer var handling for implied boundslcnr-0/+2
2022-08-22re-base and use `OutlivesEnvironment::with_bounds`SparrowLii-1/+1
2022-08-22add `with_bounds` to `OutlivesEnvironment` and `implied_bounds_tys` to `outli...SparrowLii-21/+20
2022-08-22get rid of `RefCell` in `TransitiveRelation`SparrowLii-7/+44
2022-07-25use `FxIndexSet` for `region_bound_pairs`lcnr-3/+7
2022-07-04implied bounds byebye nested hir idslcnr-78/+10
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-04-08Avoid looking at the internals of Interned directlyOli Scherer-18/+17
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-5/+6
2021-11-07Rename functions reflect that inline const is also "typeck_child"Gary Guo-4/+4
2021-03-27Remove (lots of) dead codeJoshua Nelson-5/+0
2020-08-30mv compiler to compiler/mark-0/+200
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 11:04:14 +0000