{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
                    // (*) binder moved here
                obligation.predicate.kind().rebind(
                    ty::PredicateKind::Clause(ty::ClauseKind::Trait(