{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"TyKind::Function(_)"}]}
            TyKind::Function(_) => {
        match self_ty.kind(Interner) {
                let [arg] = args else {