{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"constraint_span:"}]}
        constraint_span: Span,
        category: ConstraintCategory<'tcx>,
        captured_var: &str,