about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/regions.rs
AgeCommit message (Collapse)AuthorLines
2025-09-30remove outdated context (inner) infctxJana Dönszelmann-0/+2
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-1/+7
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied ↵Michael Goulet-10/+4
bounds hack
2025-01-28Move param env bound deep normalization to OutlivesEnvironment buildingMichael Goulet-1/+21
2025-01-28Move outlives env computation into methodsMichael Goulet-2/+44
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-1/+17
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-1/+2
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to ↵Michael Goulet-1/+1
new_with_diagnostics
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-3/+2
2024-06-03Make TraitEngines generic over errorMichael Goulet-1/+3
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-8/+2
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-3/+3
2024-02-02Use deeply_normalize_with_skipped_universes in when processing type outlivesMichael Goulet-1/+2
2024-01-30Apply suggestions from reviewMichael Goulet-2/+5
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+37