{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"|strukt|"}]}
                            |strukt| {
                            || self.err_ty(),
                                TyKind::Adt(AdtId(strukt.into()), Substitution::empty(Interner))