{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"(TyKind::Error.intern(Interner),"}]}
                (TyKind::Error.intern(Interner), None)
                // FIXME diagnostic
            }