{"ast_node_type":"variable","tokens":[{"end":41,"kind":"keyword","start":0,"text":"let"}]}
    let obligation = traits::Obligation {
    let pred = ty::TraitPredicate { trait_ref, polarity: ty::PredicatePolarity::Negative };
        cause: traits::ObligationCause::dummy(),