[SR-7899] [4.2 regression] type checker chooses different type than it used to #50434
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
regression
swift 4.2
type checker
Area → compiler: Semantic analysis
Additional Detail from JIRA
md5: c99cb2692d79d008f46d452212e842cb
duplicates:
Issue Description:
Consider the following program:
The
swiftc
that comes with Xcode 9.4 chooses typeNSURL
for theurl
variable.The
swiftc
that comes with Xcode 10 beta chooses type((NSURL) throws -> Bool) throws -> NSURL?
for theurl
variable. (It's using the type of thefirst(where: )
method instead of thefirst
property.)The text was updated successfully, but these errors were encountered: