Propose a quickfix that makes this variable mutable. Intellij does sth like this: <img width="458" height="56" alt="Image" src="https://github.com/user-attachments/assets/f9313150-7af0-400c-8284-72222aaf0f13" />