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