You are right. This means that:
- either
@discardableResultshould not make a difference (as it doesn't in the original proposal), or - linters won't support a rule similar to
redundantReturnin case of multi statement bodies.
Not ideal but hopefully not a show stopper.
Edit:
- Make compiler itself deal with those warnings (off / omit returns / require returns) as pitched here – compiler has all the information needed including types and
@discardableResultattribute.