{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
            let trait_pred = match obligation.predicate.kind().no_bound_vars() {
            let obligation = queue.remove(0);
                Some(ty::PredicateKind::Clause(ty::ClauseKind::Trait(trait_pred)))