{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"match"}]}
        match input.goal.predicate.kind().skip_binder() {
    fn from_query_input<I: Interner>(cx: I, input: QueryInput<I, I::Predicate>) -> CurrentGoalKind {
            ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred)) => {