Suppressed uninformative type safety warning