strict-ts-lib-v5.2 0.6.2 → 0.6.4

package/CHANGELOG.md

@@ -1,5 +1,69 @@
 # strict-ts-lib-v5.2
 
+## 0.6.4
+
+### Patch Changes
+
+- 4ad8086: The published bundles now carry the attribution Apache-2.0 asks of a
+  derivative work.
+
+    Every generated declaration file is a rewrite of a TypeScript lib file, which
+    is Copyright Microsoft Corporation under Apache-2.0. The generator used to
+    strip the upstream copyright banner and the bundles shipped no license text.
+    Now each file keeps the banner and states beneath it that it was modified,
+    and each bundle ships `LICENSE` and a `NOTICE` naming the upstream commit it
+    was generated from. Nothing about the declarations themselves changed.
+
+## 0.6.3
+
+### Patch Changes
+
+- 90bf42e: Two fixes to declarations that compiled fine and went wrong at the use site.
+
+    **`ReturnType<typeof setTimeout>` no longer comes out `unknown`.** `ReturnType`
+    and `InstanceType` spelled their conditional's `extends` clause
+    `(...args: readonly never[]) => infer R`. An overload set whose last member is
+    generic, with a rest parameter computed from its own type parameter, does not
+    match that — so the conditional took its false branch and produced `unknown`,
+    silently, because a false branch is a type rather than an error. `@types/node`'s
+    `setTimeout<TArgs extends any[]>(cb, ms?, ...args: MakeVoidParameterOptional<TArgs>)`
+    is exactly that shape once it merges with the DOM's `setTimeout`, so
+    `ReturnType<typeof setTimeout>` was `unknown` and could not be handed back to
+    `clearTimeout`.
+
+    The spelling is now a bare `never`, which is what the stock library itself uses
+    for `ThisParameterType` and `OmitThisParameter`, and which gives up none of the
+    `any` removal this library exists for. The type-parameter constraint is spelled
+    the same way, so the false branch is unreachable for any `T` the constraint
+    admits: "did not resolve" can no longer arrive as an `unknown` that propagates.
+
+    That `never` now has a name, `StrictLibInternals.AnyArguments`, declared in
+    `lib.es5.d.ts`. `any` reads two ways in a function type and only one of them is
+    what this library removes: `any` as a _value_ becomes `unknown` or `never` by
+    variance, while `any` as a _wildcard_ — the `(...args: any)` in `ReturnType` —
+    describes nothing at all and is there only to switch the parameter comparison
+    off. The stock library spells that wildcard two ways (`any` in `ReturnType`,
+    `never` in `ThisParameterType`); this library spells it one way, and the name
+    says which of the two readings is meant. Every such position uses it: the four
+    utility types and `ThisParameterType` in `lib.es5.d.ts`, the decorator context
+    type parameters in `lib.decorators.d.ts`, and `Reflect.construct`'s `newTarget`
+    in `lib.es2015.reflect.d.ts`. The last two were not broken; one spelling is so
+    that the trap cannot be re-dug, and so that grepping the name finds all of
+    them.
+
+    **A replacement callback's trailing arguments are `string | undefined`, not
+    `unknown`.** `String.prototype.replace` / `replaceAll` and the
+    `[Symbol.replace]` they dispatch to typed the captured groups `readonly
+unknown[]`, which forced every caller to narrow with `isString` before using a
+    group that the pattern shows can never be absent. They are now
+    `readonly (string | undefined)[]` — the type of a capture group — so contextual
+    typing gives `string | undefined` and a `?? ''` or a `!== undefined` check is
+    enough. Reading the participating-group count off a regular expression literal
+    is not something the type system can do, so this trades a little soundness for
+    it: a callback may declare a parameter past the last capture as
+    `string | undefined` and be handed the offset instead. That is still narrower
+    than the `any[]` the stock library ships.
+
 ## 0.6.2
 
 ### Patch Changes

package/NOTICE

@@ -0,0 +1,16 @@
+strict-ts-lib-v5.2
+Copyright (c) noshiro-pf
+
+Licensed under the Apache License, Version 2.0; see LICENSE.
+
+This package is a derivative work of the built-in library declaration
+files (lib.*.d.ts) of TypeScript 5.2.2:
+
+    https://github.com/microsoft/TypeScript/tree/v5.2.2/lib
+
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0.
+
+Every file under libs/ and libs-branded/ keeps the copyright notice of
+the file it was generated from, followed by a note that it was modified.
+The changes are described at https://github.com/noshiro-pf/mono.

package/README.md

@@ -39,3 +39,9 @@ option — setting it is an error.
 `--unlink` removes the links again.
 
 See <https://github.com/noshiro-pf/mono> for usage and version support.
+
+## License
+
+Apache-2.0, like the TypeScript lib files it is generated from
+(Copyright Microsoft Corporation). `LICENSE` and `NOTICE` in this
+package have the details.

package/libs/decorators/index.d.ts

@@ -1,4 +1,27 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.decorators.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
+/// <reference lib="es5" />
 
 /**
  * The decorator context types provided to class element decorators.
@@ -28,8 +51,11 @@ type DecoratorMetadata = typeof globalThis extends {
  * @template Class The type of the decorated class associated with this context.
  */
 interface ClassDecoratorContext<
-  Class extends abstract new (...args: readonly never[]) => unknown =
-    abstract new (...args: readonly never[]) => unknown,
+  Class extends abstract new (
+    ...args: StrictLibInternals.AnyArguments
+  ) => unknown = abstract new (
+    ...args: StrictLibInternals.AnyArguments
+  ) => unknown,
 > {
   /** The kind of element that was decorated. */
   readonly kind: 'class';
@@ -67,9 +93,12 @@ interface ClassDecoratorContext<
  */
 interface ClassMethodDecoratorContext<
   This = unknown,
-  Value extends (this: This, ...args: readonly never[]) => unknown = (
+  Value extends (
+    this: This,
+    ...args: StrictLibInternals.AnyArguments
+  ) => unknown = (
     this: This,
-    ...args: readonly never[]
+    ...args: StrictLibInternals.AnyArguments
   ) => unknown,
 > {
   /** The kind of class element that was decorated. */

package/libs/decorators/legacy/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.decorators.legacy.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 declare type ClassDecorator = <TFunction extends Function>(

package/libs/dom/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.dom.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /////////////////////////////

package/libs/dom/iterable/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.dom.iterable.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /////////////////////////////

package/libs/es2015/collection/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.collection.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface Map<K, V> {

package/libs/es2015/core/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.core.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface Array<T> {

package/libs/es2015/generator/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.generator.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /// <reference lib="es2015.iterable" />

package/libs/es2015/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /// <reference lib="es5" />

package/libs/es2015/iterable/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.iterable.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /// <reference lib="es2015.symbol" />

package/libs/es2015/promise/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.promise.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface PromiseConstructor {

package/libs/es2015/proxy/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.proxy.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface ProxyHandler<T extends object> {

package/libs/es2015/reflect/index.d.ts

@@ -1,4 +1,27 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.reflect.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
+/// <reference lib="es5" />
 
 declare namespace Reflect {
   /**
@@ -29,7 +52,7 @@ declare namespace Reflect {
   function construct<A extends readonly unknown[], R>(
     target: new (...args: A) => R,
     argumentsList: Readonly<A>,
-    newTarget?: new (...args: readonly never[]) => unknown,
+    newTarget?: new (...args: StrictLibInternals.AnyArguments) => unknown,
   ): R;
   function construct(
     target: Function,

package/libs/es2015/symbol/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.symbol.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface SymbolConstructor {

package/libs/es2015/symbol-wellknown/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2015.symbol.wellknown.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /// <reference lib="es2015.symbol" />
@@ -189,7 +211,10 @@ interface RegExp {
    */
   [Symbol.replace](
     string: string,
-    replacer: (substring: string, ...args: readonly unknown[]) => string,
+    replacer: (
+      substring: string,
+      ...args: readonly (string | undefined)[]
+    ) => string,
   ): string;
 
   /**
@@ -250,10 +275,16 @@ interface String {
     searchValue: {
       [Symbol.replace](
         string: string,
-        replacer: (substring: string, ...args: readonly unknown[]) => string,
+        replacer: (
+          substring: string,
+          ...args: readonly (string | undefined)[]
+        ) => string,
       ): string;
     },
-    replacer: (substring: string, ...args: readonly unknown[]) => string,
+    replacer: (
+      substring: string,
+      ...args: readonly (string | undefined)[]
+    ) => string,
   ): string;
 
   /**

package/libs/es2016/array-include/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2016.array.include.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface Array<T> {

package/libs/es2016/full/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2016.full.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /// <reference lib="es2016" />

package/libs/es2016/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2016.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 /// <reference lib="es2015" />

package/libs/es2017/date/index.d.ts

@@ -1,3 +1,25 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+/*
+ * Modified from TypeScript's `lib.es2017.date.d.ts` by strict-ts-lib
+ * (https://github.com/noshiro-pf/mono): the declarations are rewritten with
+ * stricter types. This is not the original file. See the NOTICE and LICENSE
+ * files of the package this ships in.
+ */
+
 /// <reference no-default-lib="true"/>
 
 interface DateConstructor {