[Bug]: Exit out of a transaction-block without executing a commit action or a rollback-stmt

[dsplayerX]

Description

According to the specification, any exit out of the transaction block that is neither a panic nor a fail should trigger either a commit-action or a rollback-statement.

The provided code sample demonstrates a scenario where the exit out of the transaction statement-block doesn't execute a commit action or a rollback statement, which is a violation of the specification. It doesn't raise any compiler errors and executes without any runtime errors.

transaction {
        transaction:onCommit(isolated function(transaction:Info info) {
                    io:println("Commit triggered");
                });
        transaction:onRollback(isolated function(transaction:Info info, error? cause, boolean willRetry) {
                    io:println("Rollback triggered");
                });

        boolean bool = false;

        if bool {
            check commit;
        }
    }

Steps to Reproduce

import ballerina/io;

public function main() returns error? {

    transaction {
        transaction:onCommit(isolated function(transaction:Info info) {
                    io:println("Commit triggered");
                });
        transaction:onRollback(isolated function(transaction:Info info, error? cause, boolean willRetry) {
                    io:println("Rollback triggered");
                });

        boolean bool = false;

        if bool {
            check commit;
        }
    }
}

Affected Version(s)

2201.9.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