about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-4/+4
2025-07-15Gate things properlyMichael Goulet-6/+8
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-2/+17
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-1/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-12/+2
2024-10-08Inline and remove `RegionConstraintCollector::into_infos_and_data`.Nicholas Nethercote-9/+6
2024-10-07Reduce visibilities some more.Nicholas Nethercote-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+3
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-2/+0
2024-07-06Uplift push_outlives_componentsMichael Goulet-1/+2
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-5/+8
2024-01-30Apply suggestions from reviewMichael Goulet-4/+4
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-3/+13
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-1/+1
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-27/+1
2023-10-17Use a visitor that could be reused by opaque type capture check laterMichael Goulet-0/+1
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-2/+1
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-19/+10
2023-06-19s/Clause/ClauseKindMichael Goulet-7/+7
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-0/+1
2023-04-12region error cleanuplcnr-3/+101
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-6/+7
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-09-01tracing::instrument cleanupOli Scherer-1/+1
2022-06-15implement (unused) matching solverNiko Matsakis-0/+1
2022-05-16Some tracing cleanupsOli Scherer-1/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+1
2021-10-15Move push_outlives_components to rustc_inferjackh726-0/+1
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+1
2021-01-16More review commentsJack Huey-4/+2
2021-01-16Review changesJack Huey-12/+13
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+2
2020-08-30mv compiler to compiler/mark-0/+34
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 21:23:50 +0000