{"ast_node_type":"function","tokens":[{"end":100,"kind":"keyword","start":0,"text":"fn"}]}
    fn from_query_input<I: Interner>(cx: I, input: QueryInput<I, I::Predicate>) -> CurrentGoalKind {
impl CurrentGoalKind {
        match input.goal.predicate.kind().skip_binder() {