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