{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// We were supposed to parse `":" $ty` but the `:` or the type was missing.
    /// This means that the type is missing.