Files
Pavel Yaskevich 561f6492d4 [CSSimplify] Don't transfer typed throws onto the closure
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
2026-03-24 09:27:55 -07:00
..
2026-03-14 17:47:51 -04:00