#include namespace c10::detail { void deleteNothing(void*) {} } // namespace c10::detail