Your IDE probably supports this as an explicit action. JetBrains has a feature that can find all reads and writes to a variable
To me, this seems initially like some very minor thing, but I find this very helpful working with non-trivial code. For larger methods you can directly discern whether a not-as-immutable-declared variable behaves immutable nonetheless.