Although in you example `typealias PostInModeratio...

# language-proposals

[dmitry.petrov]

Although in you example typealias PostInModeration = in PendingPost can be just typealias PostInModeration = PendingPost
(yes, it will not check variance for usages of PostInModeration... I just wonder where it can be really useful)