@swift-5.10 class C {} final class C2: C, Sendable {}