{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"},"}]}
    },
        user_ty_span: Span,
    /// A type ascription on a value, e.g. `type_ascribe!(42, i32)` or `42 as i32`.