[SR-7171] failure to type check expression involving inout closure #49719
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
diagnostics QoI
Bug: Diagnostics Quality of Implementation
type checker
Area → compiler: Semantic analysis
Additional Detail from JIRA
md5: adf825b6be9863b3d0e25514f78c8877
Issue Description:
It seems like we should be able to type check this without issue, but fail to and then eventually hit a verification failure while trying to diagnose.
It seems that the issue is that we fail to match up inout to inout for the closure because we expect to only ever match up lvalues to inout.
The text was updated successfully, but these errors were encountered: