Retroactive conformances + dynamic downcast => type unsoundness
|
|
19
|
629
|
August 19, 2024
|
Why can any value be cast to `AnyObject`?
|
|
5
|
239
|
June 26, 2024
|
Casting/Type checking in Swift broken with Objective-C covariance?
|
|
0
|
205
|
May 29, 2024
|
Typecasting to a protocol via a generic function
|
|
6
|
537
|
May 24, 2024
|
How does type casting work?
|
|
9
|
652
|
January 10, 2024
|
Getting type from mangled name (e.g. "SS" -> Any.Type)
|
|
1
|
515
|
June 19, 2023
|
Understanding type comparison of collection types
|
|
20
|
1847
|
April 6, 2023
|
Implicit existential opening doesn't seem to capture the type
|
|
9
|
529
|
March 13, 2023
|
Is there some process to convert a negative -4000 'Int' into a 'UInt8'?
|
|
12
|
1542
|
February 27, 2023
|
Type captured by the struct does not get interpreted as one would expect
|
|
6
|
537
|
January 23, 2023
|
How to return native type via `type(of:)` from JSON string
|
|
7
|
2286
|
December 27, 2022
|
Small question about type comparison
|
|
5
|
951
|
November 19, 2022
|
Type casting struct to class for value returns nil
|
|
0
|
1026
|
November 19, 2022
|
Wishing for a type-safe way to distinguish native types
|
|
4
|
1310
|
October 1, 2022
|
Explicitly defined type casting?
|
|
4
|
701
|
August 16, 2022
|
Cast Any to Sendable
|
|
3
|
2243
|
July 19, 2022
|
[Pitch] for-where-as
|
|
12
|
1722
|
April 5, 2022
|
Type inference not working for inherited protocol
|
|
5
|
1305
|
February 23, 2022
|
Odd behavior related to [T?] as? [T]
|
|
17
|
2027
|
February 2, 2022
|
Type confusion with Codable
|
|
6
|
1952
|
December 10, 2021
|
Dynamic casting Any to a runtime optional type
|
|
12
|
1423
|
September 16, 2021
|
Dynamically accessing `.objectWillChange`
|
|
6
|
2843
|
August 26, 2021
|
Best practice: Nested underying errors or error mapping, or something I haven't thought about?
|
|
0
|
737
|
May 25, 2021
|
Type-erasing closures to `(Any, Any, ...) -> Any`?
|
|
8
|
1281
|
November 27, 2020
|
Missing conditional cast fix-it?
|
|
4
|
862
|
November 26, 2020
|
Implicit Casts for Verified Type Information
|
|
79
|
4294
|
November 18, 2020
|
Type checking inconsistency with generic metatypes
|
|
9
|
2055
|
September 18, 2020
|
RFC: Dynamic Casting Specification
|
|
3
|
2119
|
August 27, 2020
|
Any way to avoid the forced type conversions?
|
|
7
|
971
|
June 3, 2020
|
Dynamic extensible protocols
|
|
6
|
712
|
April 28, 2020
|