[SR-12069] Type checking fails for force unwrapped implicit member expression #54505
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
type checker
Area → compiler: Semantic analysis
Environment
Swift 5.1
Additional Detail from JIRA
md5: 3fee7e2012d0c78b84e0004df4851cdf
Issue Description:
The following code produces an error on the last line:
IMO, this should succeed. In
g(.a!)
the type of.a
should be inferred asA?
just as it is on the line above (which compiles without error).The text was updated successfully, but these errors were encountered: