Pavel Yaskevich b484e9645d [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

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

15 KiB

Raw Permalink Blame History

View Raw