diff options
| author | Tomasz GaĆkowski <galkowski.t@gmail.com> | 2020-05-15 15:51:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-15 09:51:49 -0400 |
| commit | 8440d765d51c0886f45843ad217a6a5dbabd5049 (patch) | |
| tree | 78b5b071b0757da9ee49efd4fdba006ff0e04782 /cli/js/web | |
| parent | ce57a1824d3c89d19460efb315b273a43d18373e (diff) | |
fix: setTimeout and friends have too strict types (#5412)
Diffstat (limited to 'cli/js/web')
| -rw-r--r-- | cli/js/web/timers.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cli/js/web/timers.ts b/cli/js/web/timers.ts index ff18543fa..90b6bba94 100644 --- a/cli/js/web/timers.ts +++ b/cli/js/web/timers.ts @@ -179,7 +179,8 @@ function fire(timer: Timer): void { callback(); } -export type Args = unknown[]; +// eslint-disable-next-line @typescript-eslint/no-explicit-any +export type Args = any[]; function checkThis(thisArg: unknown): void { if (thisArg !== null && thisArg !== undefined && thisArg !== globalThis) { |
