about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/regions.rs
AgeCommit message (Expand)AuthorLines
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