Trditev tipa (type assertion) pove prevajalniku »zaupaj mi, ta vrednost je tipa X« z uporabo as. Ne izvede nobenega pretvorjenja ali preverjanja pri izvajanju — le spremeni, kako prevajalnik obravnava vrednost.
ts
el = .() ;
el. = ;
data = .(str) ;
