Support implicit `scope` parameter for imported JSII static methods and `in scope` explicit scoping for all static methods

Use Case

When a JSII static methods is used to generate constructs (a factory) it usually accepts an scope as it's first argument. The scope is then used as the target scope for instances generated inside the static method. For example the CDK's [Bucket.fromBucketName](https://docs.aws.amazon.com/cdk/api/v2/docs/aws-cdk-lib.aws_s3.Bucket.html#static-fromwbrbucketwbrnamescope-id-bucketname) receives a scope as it's first argument.

Since wing supports passing the scope argument implicitly to static methods we can detect this and enable calling these imported methods with the implicit scope or using the wing in keyword to override the implicit scope:

// use implicit scope for imported JSII static methods
cdk.Bucket.fromBucketName("extern_bucket", "some_bucket");
// or use explicit scope syntax
cdk.Bucket.fromBucketName("extern_bucket", "some_bucket") in some_scope;

Note that supporting this requires adding the in explicit scoping specifier to all static methods in wing (not only JSII).

Proposed Solution

No response

Implementation Notes

No response

Component

Compiler

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.
If this issue is labeled needs-discussion, it means the spec has not been finalized yet. Please reach out on the #dev channel in the Wing Slack.

winglang / wing