{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"))"}]}
            ))
                TyKind::FnDef(CallableDefId::StructId(def).to_chalk(db), substs).intern(Interner),
        }