about summary refs log tree commit diff
path: root/tests/ui/type-alias-impl-trait/recursive-tait-conflicting-defn.rs
AgeCommit message (Expand)AuthorLines
2025-05-20Just error on recursive opaque ty in HIR typeckMichael Goulet-1/+1
2025-04-03add `TypingMode::Borrowck`lcnr-2/+1
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-13/+12
2024-06-12Require any function with a tait in its signature to actually constrain a hid...Oli Scherer-12/+15
2023-07-18Relax recursive opaque type checkMichael Goulet-0/+34