Unable to capture a variable that is an inflight closure

[eladb]

I tried this

bring cloud;

resource MyResource {
  closure: inflight (str): str;

  init() {
    this.closure = inflight (s: str): str => { return "hello"; };
  }

  inflight foo() {
    this.closure("hello");
  }
}

I expected this:

To be possible

Instead, this happened

error: Cannot capture field 'closure' with non-capturable type 'inflight (str): str'
   --> .[/test.w:11:5](vscode://file//test.w:11:5)
   |
11 |     this.closure("hello");
   |     ^^^^^^^^^^^^ Cannot capture field 'closure' with non-capturable type 'inflight (str): str'

Is there a workaround?

No response

Component

Compiler

Wing Version

No response

Wing Console Version

No response

Node.js Version

No response

Platform(s)

No response

Anything else?

No response

Community Notes

• Please vote by adding a 👍 reaction to the issue to help us prioritize.
• If you are interested to work on this issue, please leave a comment.

[Chriscbr]

I agree it makes sense to support this, but I think there are workarounds available (for example, using cloud.Function instead of an inflight closure).

#1448 should fix this

[Chriscbr]

This produces a new error on Wing 0.17.7, but it's the same error as #2236

error: Expected type to be "inflight (str): str", but got "$Inflight1" instead
  --> capture_closure.w:7:20
  |
7 |     this.closure = inflight (s: str): str => { return "hello"; };
  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Expected type to be "inflight (str): str", but got "$Inflight1" instead

[monadabot]

Congrats! 🚀 This was released in Wing 0.17.22.