¿La afirmación de tipo en Go se verifica en tiempo de ejecución o durante la compilación?