mirror of
https://github.com/apple/swift.git
synced 2026-11-01 23:11:50 +01:00
This is a partial revert of https://github.com/swiftlang/swift/pull/87360 The change attempted to infer a concrete thrown error type onto the closure but that leads to incorrect solutions when closure is passed as an argument to an overloaded declaration because the solver doesn't check whether calls in the body do throw the expected type even with `FullTypedThrows` feature enabled and so the safest option is still to assume un-typed `throws` unless typed throws comes from a concrete contextual type. Resolves: rdar://173132715