From c40492c0e312ca0d0b9204897fbe0020eaff8cc0 Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Thu, 15 Dec 2022 00:43:35 +0100 Subject: [PATCH] Fix broken type --- packages/game/src/js/types.d.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/packages/game/src/js/types.d.ts b/packages/game/src/js/types.d.ts index 8386c02..bc68aaa 100644 --- a/packages/game/src/js/types.d.ts +++ b/packages/game/src/js/types.d.ts @@ -47,7 +47,8 @@ type TextDescriptor = string; */ type ElementDescriptor = [ tag: string, - ...args: NodeDescriptor[] + // eslint-disable-next-line @typescript-eslint/array-type + ...args: (NodeDescriptor | Record)[] ]; /**