Implemented in: error type checking.