Delete compiletime_diag.h