[SR-11472] Generic parameter inference problem #53872
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
Additional Detail from JIRA
md5: 3094e6c47b27e8d301bf4f2a2ef9c7e9
duplicates:
Issue Description:
This code compiles with Swift 5:
but this code does not:
The only difference is that I have removed the explicit type from the construction of A in the map method. Of course the generic parameter is already specified in two ways, one is the return type and the other is the fact that the transform spits out values of type Y. What's going on here?
The text was updated successfully, but these errors were encountered: