Highlights write access references to properties, for which the write access scope declared via #[Immutable] is stricter than the reference scope.