Two things:
-
I don't think we should be talking about "partial application" in diagnostics; we should say something like "use without an argument list".
-
There's really no reason we couldn't support this. In some cases, the function would have to be non-escaping, but that's okay. We would just need to initiate any accesses associated with the
selfargument within the closure rather than trying to capture the being-accessedselfvalue.
Please file a bug.