Verificări la momentul compilării