Thanks for the answer! One detail I haven't really understood from what I've read about this is why the compiler couldn't produce a warning when it makes these assumptions about a method.
Would it just always produce such a huge number of warnings that it would be unusable in practice?
Roland4711
Users receive reputation points by contributing quality content to the forums.
Posts include post and replies published on the forums.
Post authors can mark replies as Accepted to indicate successful solutions.
Apple Developer Forums admins can mark replies as Apple Recommended to indicate an approved solution
Last seen
1 week ago
User for
9 years