Pavel Yaskevich be0169042d [Sema] ConstnessChecker: Look through function conversions while checking arguments ...

In strict concurrency mode some calls could reference a declaration that
is  wrapped in one or more function conversion expressions to apply
concurrency related attributes or erase them (such as `@Sendable` or
`@MainActor`). This shouldn't impact constness checking and the checker
should look through such conversions.

Resolves: rdar://148168219
(cherry picked from commit b484e9645d)

2025-04-23 14:18:11 -07:00

15 KiB

Raw Permalink Blame History

View Raw