Mark Lacey b8cc015113 Fix some issues in handling of withoutActuallyEscaping. ...

We need to strip inout/lvalue before casting the second parameter's type
to FunctionType.

There were also some verification issues and the fact that we weren't
allowing already-escaping closures to be passed to it (which is not
useful, but shouldn't result in an error and really awful
diagnostic). We can potentially look at diagnosing this with a warning
at some point in the future.

Fixes rdar://problem/32239354.

2017-05-17 17:13:47 -07:00

184 KiB

Raw Blame History

View Raw