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