let x: f64 = 89int32::12 // Suggests 32 bits as end-user type
'my.custom.type' :: { x : 12 , y : -1 } // Gives a struct a user-defined type
{ field: something::'another thing'::value } // Field's name must precede annotations of its value
jpeg :: {{ ... }} // Indicates the blob contains jpeg data
bool :: null.int // A very misleading annotation on the integer null
'' :: 1 // An empty annotation
null.symbol :: 1 // ERROR: type annotation cannot be nullLanguages with Type Annotations include Jule, Ion
View all concepts with or missing a hasTypeAnnotations measurement