about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives
AgeCommit message (Expand)AuthorLines
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-13/+6
2025-07-15Gate things properlyMichael Goulet-9/+12
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-3/+51
2025-07-13Make sure that users don't take region obligations in a snapshotMichael Goulet-0/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+4
2025-05-27Fix some var namesMichael Goulet-2/+2
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-26RenameMichael Goulet-12/+21
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-3/+31
2025-05-17Fast path for register_region_obligationMichael Goulet-0/+8
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-4/+0
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-2/+2
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-2/+2
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-1/+1
2025-02-08Rustfmtbjorn3-10/+14
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-13/+11
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-50/+16
2025-01-28Move param env bound deep normalization to OutlivesEnvironment buildingMichael Goulet-44/+16
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-1/+1
2025-01-28Move outlives env computation into methodsMichael Goulet-6/+0
2025-01-02Simplify declared_generic_bounds_from_envMichael Goulet-32/+23
2025-01-02Make it clearer that the only infers we expect to see when processing outlive...Michael Goulet-1/+8
2025-01-02Remove hack for filtering out param-env outlives that match item-bound outlivesMichael Goulet-18/+1
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+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-08Improve formatting of some comments.Nicholas Nethercote-5/+6
2024-10-08Remove `OutlivesEnvironmentBuilder`.Nicholas Nethercote-61/+26
2024-10-07Reduce visibilities some more.Nicholas Nethercote-7/+7
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-16/+12
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+5
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-19/+19
2024-07-18Remove tag field from relationsMichael Goulet-10/+5
2024-07-17Fix relationsMichael Goulet-1/+1
2024-07-07Make push_outlives_components into a visitorMichael Goulet-6/+1
2024-07-06Don't track visited outlives bounds when decomposing verify for aliasMichael Goulet-22/+14
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-4/+2
2024-07-06Uplift push_outlives_componentsMichael Goulet-270/+5
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-12Use Variance glob import everywhereMichael Goulet-3/+1
2024-06-06Uplift TypeRelation and RelateMichael Goulet-10/+7
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-5/+4
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+2
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-2/+6
2024-05-10Name tweaksMichael Goulet-2/+2
2024-05-10More rename falloutMichael Goulet-2/+2
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-2/+2
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 01:45:46 +0000