@swift-6.0.3 protocol P { var aa: Int { get throws<any Error> } }