Description

The fix for the error message invalid access of mutable storage in an 'isolated' function (BCE3943) is decisive based on the user's preference. If the user only wants to read the values, they can make the variable immutable. On the contrary, if they intend to manipulate the data structure in a concurrent-safe manner, they can decide to make the variable isolated. Since both fixes are rather straightforward, the LS can provide CAs as quick fixes.

Describe your problem(s)

No response

Describe your solution(s)

Consider the following source code with the respective diagnostic.

int[] arr = [];

isolated function length() returns int {
    return arr.length();
}

FIX1: Allow the user to make the variable immutable by making it final and/or readonly.

final int[] & readonly arr = []  // changed

isolated function length() returns int {
    return arr.length();
}

FIX2: Allow the user to make the variable isolated when the user knows that they have to manipulate the data structure in a concurrent-safe manner.

isolated int[] arr = []; // changed

isolated function length() returns int {
    return arr.length();
}

Related area

-> Compilation

Related issue(s) (optional)

#28681

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response