{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// Equate the inferred type and the annotated type for user type annotations
    #[instrument(skip(self), level = "debug")]