{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"index.index(),"}]}
            index.index(),
            "| {:?}: user_ty: {}, span: {}, inferred_ty: {}",
            annotation.user_ty,