{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"from_closure:"}]}
            from_closure: best_constraint.from_closure,
            category: best_constraint.category,
            cause: ObligationCause::new(best_constraint.span, CRATE_DEF_ID, cause_code.clone()),