From 85ec9bf175da0817254a6ae61a857425d8deee0c Mon Sep 17 00:00:00 2001 From: Wesley Wigham Date: Mon, 2 Dec 2019 11:47:42 -0800 Subject: [PATCH] Remove duplicate definition of `Push` (#35397) It's also defined in `corePublic.ts` - there's no errors because they're (almost) identical and merge (creating a redundant overload for `push`). Ironically, while this definition was internal, the other is public (and more complete). --- src/compiler/moduleNameResolver.ts | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/compiler/moduleNameResolver.ts b/src/compiler/moduleNameResolver.ts index 7e0aa5e5b15..aad8f9acd87 100644 --- a/src/compiler/moduleNameResolver.ts +++ b/src/compiler/moduleNameResolver.ts @@ -10,12 +10,6 @@ namespace ts { return !!compilerOptions.traceResolution && host.trace !== undefined; } - /** Array that is only intended to be pushed to, never read. */ - /* @internal */ - export interface Push { - push(value: T): void; - } - function withPackageId(packageInfo: PackageJsonInfo | undefined, r: PathAndExtension | undefined): Resolved | undefined { let packageId: PackageId | undefined; if (r && packageInfo) {