AA0136 not works together with ErrorBehavior(ErrorBehavior::Collect)

[TKapitan]

1. Describe the bug
Writing second article about CollectibleErrors & ErrorInfo datatype and found AA0136 (unreachable code detection) does not work as intended - it warns that anything after the first error is not accessible even if the code is accessible due to ErrorBehavior(ErrorBehavior::Collect) setting.

2. To Reproduce
Steps to reproduce the behavior:

    [ErrorBehavior(ErrorBehavior::Collect)]
    local procedure Error4()
    begin
        Error(ErrorInfo.Create('Test error 4', true));
        Error(ErrorInfo.Create('Test error 5', true));

        /*
        Multiple errors occurred during the operation the first of which is: Test error 4. All errors can be found under 'Detailed Information'.

        Test error 4
        Test error 5

        (details removed as it's not important for this error)
        */
    end;

3. Expected behavior
Both Errors are executed so the warning about unreachable code should not be shown.

4. Actual behavior
The second line contains warning "Unreachable code detected. [AA0136]"

[SBalslev]

Hi! Thank you for reporting this — we appreciate you taking the time to document the issue with a clear repro.

We're currently not investing in CodeCop rule improvements, but we have this on our radar for a future effort. In the meantime, workarounds such as pragma directives or suppression attributes can be used to manage false positives.

We're closing this to keep the backlog focused, but your input is noted internally. If this becomes a significant blocker on a future version, please don't hesitate to open a new issue.

Thank you for helping us improve the AL developer experience!