about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives
AgeCommit message (Expand)AuthorLines
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
2024-03-20Split item bounds and item super predicatesMichael Goulet-1/+1
2024-03-07move snapshot handling into modlcnr-3/+2
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-22/+9
2024-03-01Fallout from removing a_is_expectedMichael Goulet-4/+0
2024-02-28Opportunistically resolve regions when processing region outlives obligationsMichael Goulet-1/+9
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-7/+7
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-35/+58
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+5
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-20/+31
2024-02-02Don't hang when there's an infinite loop of outlives obligationsMichael Goulet-1/+7
2024-02-02Do process_registered_region_obligations in a loopMichael Goulet-16/+22
2024-01-30Apply suggestions from reviewMichael Goulet-36/+22
2024-01-30Normalize caller boundsMichael Goulet-9/+29
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 06:25:39 +0000