Kas Go-s on tüübi kinnitamine kontrollitakse jooksutamise ajal või kompileerimise ajal?