Can you add a comment to this function explaining that it's only run on the immutable statics? And something along the lines of how the rules apply to the value, not just the type.