Ar tipo patvirtinimas Go yra tikrinamas vykdymo metu ar kompiliacijos metu?