about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/coroutine_witnesses.rs
AgeCommit message (Expand)AuthorLines
2025-08-20Eliminate unnecessary dependency from `rustc_traits` to `rustc_hir`Josh Triplett-1/+1
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-1/+0
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-0/+2
2025-07-15Deduce outlives obligations from WF of coroutine interior typesMichael Goulet-2/+55
2025-07-15Add outlives to CoroutineWitnessTypesMichael Goulet-2/+1
2025-05-20Querify coroutine_hidden_typesMichael Goulet-0/+37