Warn when a record type's object field appears to be mutable