[Bug]: Limit clause accepting variable bindings from input frames

[Chamika36]

Description

According to the Ballerina language specification (2024R1), the limit clause evaluation states that:

Variable bindings from input frames are not in scope for this evaluation.

However, the limit clause allows variable bindings from input frames, which might give an impression that variable bindings from input frames could be referenced.

Steps to Reproduce

Consider the following queries:

Person[] outputPersonList =
        from var person in personList
        let int newAge = 34
        let int limitValue = 2
        where person.age == 33
        limit limitValue
        select {
               firstName: person.firstName,
               lastName: person.lastName,
               age: newAge
        };

Above code is from jballerina-unit-test : testLetExpressionWithLimitClause()

var c = from var x in [1, 2, 3, 4, 5]
        let int y = x * 2
        limit y
        select x;

Expected Behavior

• The expressions in limit must not depend on input frames.
• The compiler should enforce this restriction strictly and prevent such usage.

Actual Behavior

• The spec states variable bindings are not in scope for evaluation, but the clause still allows an expression, leading to ambiguity.
• This could result in unintended behavior if not properly enforced.

Affected Version(s)

• Ballerina Version: 2201.11.0

OS, DB, other environment details and versions

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response