L'affirmation de type en Go est-elle vérifiée à l'exécution ou lors de la compilation ?