type checking update