Este afirmația de tip în Go verificată în timpul execuției sau în timpul compilării?