{"ast_node_type":"variable","tokens":[{"end":84,"kind":"keyword","start":0,"text":"let"}]}
            let Some(ty::PredicateKind::Clause(ty::ClauseKind::Trait(trait_pred))) =
        for (pred, _, _) in unsatisfied_predicates {
                pred.kind().no_bound_vars()