4 Commits

Author	SHA1	Message	Date
Allan Shortlidge	b97e27279e	Sema: Fix opaque type accessors with inactive availability conditions. ... Opaque type metadata accessor functions could be miscompiled for functions that contain `if #available` checks for inactive platforms. For example, this function will always return `A` when compiled for macOS, but the opaque type accessor would instead return the type metadata for `B`: ``` func f() -> some P { if #available(iOS 99, *) { return A() // Returns an A on macOS } else { return B() } } ``` Resolves rdar://139487970.	2024-11-10 09:23:39 -08:00
Pavel Yaskevich	3c03449797	[MiscDiagnostics] OpaqueTypes: Handle unrelated #available conditions gracefully ... `OpaqueUnderlyingTypeChecker` should skip conditional availability blocks if none of the conditions restrict the current target. Resolves: rdar://103445432	2023-01-04 15:36:46 -08:00
Pavel Yaskevich	498721c9df	[TypeChecker] SE-360: Add support for if #unavailable ... Lift a temporary restriction and make `if #available` and `if #unavailable` behave consistently.	2022-07-20 13:26:43 -07:00
Pavel Yaskevich	cd17bee644	[Serialization] Opaque types: serialize conditionally available underlying types ... Resolves: rdar://90595158	2022-04-04 12:45:20 -07:00