strict-ts-lib-v7.0 0.5.1 → 0.6.1

package/CHANGELOG.md

@@ -1,5 +1,58 @@
 # strict-ts-lib-v7.0
 
+## 0.6.1
+
+### Patch Changes
+
+- c5853e4: Spell numeric argument ranges with `UintRangeInclusive` instead of `UintRange`: `toFixed(fractionDigits?: UintRangeInclusive<0, 100>)` now names its bounds the way the docs do ("0 – 100, inclusive") rather than with an exclusive upper bound (`UintRange<0, 101>`). Applied to every converted range — `toString` radix, `toPrecision`, JSON `space`, `BigInt.asIntN/asUintN` bits, and the `Intl` digit options. The expanded literal-union types are unchanged; this is purely a notation change in the emitted declarations.
+
+## 0.6.0
+
+### Minor Changes
+
+- ac290c1: Leave `Exclude`, `Extract`, `Omit` and `Pick` with the constraints TypeScript
+  declares, and widen `strict-ts-lib-v7.0`'s `typescript` peer range to
+  `>=6.0.0 <8.0.0`.
+
+    Both landed on main in #1672 and #1673 but shipped no release: those changesets
+    named the bundle packages (`strict-ts-lib-v7.0` and friends) rather than the
+    `-source` harnesses this repository versions. `changeset version` bumped the
+    bundle manifests, and `strict-lib:gen:packages` — which runs next and stamps
+    each bundle with its harness's version — wrote 0.5.1 straight back over them,
+    the harnesses never having been bumped at all. Nothing errored; the version
+    simply did not move.
+
+    All twelve harnesses are named. The `fixed` group in `.changeset/config.json`
+    would align the versions from a single name, but a changeset's text reaches
+    only the packages it names — the rest get a bare version heading with nothing
+    under it. A change to the shared converter affects every series equally, so
+    every series' changelog should say so.
+
+    ### `Exclude` and `Omit`
+
+    Two of the four utility types had their second argument narrowed here —
+    `Exclude<T, U extends T>` and `Omit<T, K extends keyof T>`, against upstream's
+    `Exclude<T, U>` and `Omit<T, K extends keyof any>`. `Extract` and `Pick`
+    already matched.
+
+    Narrowing makes a choice on the caller's behalf, and only one of the two
+    readings is ever right for a given call. Subtracting keys a type may not have
+    is legitimate — upstream's own declarations do it — and under the narrowed
+    constraint it is a TS2344 that nothing can fix when the declaration lives
+    inside a dependency. Making the choice explicit belongs in the caller's code,
+    which is what `eslint-plugin-ts-type-forge`'s
+    `prefer-strict-or-relaxed-utility-type` does, pointing at `StrictOmit` /
+    `RelaxedOmit` and the rest.
+
+    Only widens what is accepted, so anything that compiled still does.
+
+    ### Peer range
+
+    TypeScript 6.0.3 compiles the v7.0 lib set with `skipLibCheck: false` and no
+    errors, and resolves `@typescript/lib-*` by the same package-name lookup
+    TypeScript 7 uses, so one bundle serves both compilers. Without the wider
+    declaration npm refuses to install it beside TypeScript 6.
+
 ## 0.5.1
 
 ### Patch Changes

package/libs/dom/index.d.ts

@@ -50116,10 +50116,7 @@ interface MathMLElementTagNameMap {
 type ElementTagNameMap = HTMLElementTagNameMap &
   Pick<
     SVGElementTagNameMap,
-    import('ts-type-forge').RelaxedExclude<
-      keyof SVGElementTagNameMap,
-      keyof HTMLElementTagNameMap
-    >
+    Exclude<keyof SVGElementTagNameMap, keyof HTMLElementTagNameMap>
   >;
 
 declare const Audio: {

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

@@ -100,7 +100,7 @@ interface Math {
    * Returns the number of leading zero bits in the 32-bit binary representation of a number.
    * @param x A numeric expression.
    */
-  clz32(x: number): import('ts-type-forge').UintRange<0, 33>;
+  clz32(x: number): import('ts-type-forge').UintRangeInclusive<0, 32>;
 
   /**
    * Returns the result of 32-bit multiplication of two numbers.
@@ -273,7 +273,7 @@ interface NumberConstructor {
    */
   parseInt(
     string: string,
-    radix?: import('ts-type-forge').UintRange<2, 37>,
+    radix?: import('ts-type-forge').UintRangeInclusive<2, 36>,
   ): number;
 }
 

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

@@ -44,8 +44,7 @@ declare namespace StrictLibInternals {
                 ToStr<keyof PickByValue<R, R[K]>>,
                 R[K],
               ];
-              // eslint-disable-next-line @typescript-eslint/no-restricted-types
-            }[import('ts-type-forge').RelaxedExclude<keyof R, symbol>]
+            }[Exclude<keyof R, symbol>]
         )[]
       : never;
 }

package/libs/es2018/intl/index.d.ts

@@ -7,19 +7,19 @@ declare namespace Intl {
     readonly localeMatcher?: 'lookup' | 'best fit' | undefined;
     readonly type?: PluralRuleType | undefined;
     readonly minimumIntegerDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly minimumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly maximumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly minimumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly maximumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
   }
 
@@ -27,16 +27,25 @@ declare namespace Intl {
     readonly locale: string;
     readonly pluralCategories: readonly LDMLPluralRule[];
     readonly type: PluralRuleType;
-    readonly minimumIntegerDigits: import('ts-type-forge').UintRange<1, 22>;
-    readonly minimumFractionDigits: import('ts-type-forge').UintRange<0, 21>;
-    readonly maximumFractionDigits: import('ts-type-forge').UintRange<0, 21>;
-    readonly minimumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly minimumIntegerDigits: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
-    readonly maximumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly minimumFractionDigits: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly maximumFractionDigits: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly minimumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
+      1,
+      21
+    >;
+    readonly maximumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
   }
 

package/libs/es2020/bigint/index.d.ts

@@ -45,27 +45,42 @@ interface BigIntToLocaleStringOptions {
   /**
    * The minimum number of integer digits to use. Possible values are from 1 to 21; the default is 1.
    */
-  readonly minimumIntegerDigits?: import('ts-type-forge').UintRange<1, 22>;
+  readonly minimumIntegerDigits?: import('ts-type-forge').UintRangeInclusive<
+    1,
+    21
+  >;
 
   /**
    * The minimum number of fraction digits to use. Possible values are from 0 to 20; the default for plain number and percent formatting is 0; the default for currency formatting is the number of minor unit digits provided by the {@link http://www.currency-iso.org/en/home/tables/table-a1.html ISO 4217 currency codes list} (2 if the list doesn't provide that information).
    */
-  readonly minimumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
+  readonly minimumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+    0,
+    20
+  >;
 
   /**
    * The maximum number of fraction digits to use. Possible values are from 0 to 20; the default for plain number formatting is the larger of minimumFractionDigits and 3; the default for currency formatting is the larger of minimumFractionDigits and the number of minor unit digits provided by the {@link http://www.currency-iso.org/en/home/tables/table-a1.html ISO 4217 currency codes list} (2 if the list doesn't provide that information); the default for percent formatting is the larger of minimumFractionDigits and 0.
    */
-  readonly maximumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
+  readonly maximumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+    0,
+    20
+  >;
 
   /**
    * The minimum number of significant digits to use. Possible values are from 1 to 21; the default is 1.
    */
-  readonly minimumSignificantDigits?: import('ts-type-forge').UintRange<1, 22>;
+  readonly minimumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
+    1,
+    21
+  >;
 
   /**
    * The maximum number of significant digits to use. Possible values are from 1 to 21; the default is 21.
    */
-  readonly maximumSignificantDigits?: import('ts-type-forge').UintRange<1, 22>;
+  readonly maximumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
+    1,
+    21
+  >;
 
   /**
    * The formatting that should be displayed for the number, the defaults is "standard"
@@ -91,7 +106,7 @@ interface BigInt {
    * Returns a string representation of an object.
    * @param radix Specifies a radix for converting numeric values to strings.
    */
-  toString(radix?: import('ts-type-forge').UintRange<2, 37>): string;
+  toString(radix?: import('ts-type-forge').UintRangeInclusive<2, 36>): string;
 
   /** Returns a string representation appropriate to the host environment's current locale. */
   toLocaleString(
@@ -115,14 +130,20 @@ interface BigIntConstructor {
    * @param bits The number of low bits to use
    * @param int The BigInt whose bits to extract
    */
-  asIntN(bits: import('ts-type-forge').UintRange<0, 65>, int: bigint): bigint;
+  asIntN(
+    bits: import('ts-type-forge').UintRangeInclusive<0, 64>,
+    int: bigint,
+  ): bigint;
   /**
    * Interprets the low bits of a BigInt as an unsigned integer.
    * All higher bits are discarded.
    * @param bits The number of low bits to use
    * @param int The BigInt whose bits to extract
    */
-  asUintN(bits: import('ts-type-forge').UintRange<0, 65>, int: bigint): bigint;
+  asUintN(
+    bits: import('ts-type-forge').UintRangeInclusive<0, 64>,
+    int: bigint,
+  ): bigint;
 }
 
 declare const BigInt: BigIntConstructor;

package/libs/es5/index.d.ts

@@ -24,7 +24,7 @@ declare function eval(x: string): unknown;
  */
 declare function parseInt(
   string: string,
-  radix?: import('ts-type-forge').UintRange<2, 37>,
+  radix?: import('ts-type-forge').UintRangeInclusive<2, 36>,
 ): number;
 
 /**
@@ -630,27 +630,31 @@ interface Number {
    * Returns a string representation of an object.
    * @param radix Specifies a radix for converting numeric values to strings. This value is only used for numbers.
    */
-  toString(radix?: import('ts-type-forge').UintRange<2, 37>): string;
+  toString(radix?: import('ts-type-forge').UintRangeInclusive<2, 36>): string;
 
   /**
    * Returns a string representing a number in fixed-point notation.
    * @param fractionDigits Number of digits after the decimal point. Must be in the range 0 - 100, inclusive.
    */
-  toFixed(fractionDigits?: import('ts-type-forge').UintRange<0, 101>): string;
+  toFixed(
+    fractionDigits?: import('ts-type-forge').UintRangeInclusive<0, 100>,
+  ): string;
 
   /**
    * Returns a string containing a number represented in exponential notation.
    * @param fractionDigits Number of digits after the decimal point. Must be in the range 0 - 100, inclusive.
    */
   toExponential(
-    fractionDigits?: import('ts-type-forge').UintRange<1, 101>,
+    fractionDigits?: import('ts-type-forge').UintRangeInclusive<1, 100>,
   ): string;
 
   /**
    * Returns a string containing a number represented either in exponential or fixed-point notation with a specified number of digits.
    * @param precision Number of significant digits. Must be in the range 1 - 100, inclusive.
    */
-  toPrecision(precision?: import('ts-type-forge').UintRange<1, 101>): string;
+  toPrecision(
+    precision?: import('ts-type-forge').UintRangeInclusive<1, 100>,
+  ): string;
 
   /** Returns the primitive value of the specified object. */
   valueOf(): number;
@@ -1256,7 +1260,7 @@ interface JSON {
   stringify(
     value: unknown,
     replacer?: (this: unknown, key: string, value: unknown) => unknown,
-    space?: string | import('ts-type-forge').UintRange<1, 11>,
+    space?: string | import('ts-type-forge').UintRangeInclusive<1, 10>,
   ): string;
   /**
    * Converts a JavaScript value to a JavaScript Object Notation (JSON) string.
@@ -1268,7 +1272,7 @@ interface JSON {
   stringify(
     value: unknown,
     replacer?: readonly (number | string)[] | null,
-    space?: string | import('ts-type-forge').UintRange<1, 11>,
+    space?: string | import('ts-type-forge').UintRangeInclusive<1, 10>,
   ): string;
 }
 
@@ -1873,7 +1877,7 @@ type Record<K extends PropertyKey, T> = {
 /**
  * Exclude from T those types that are assignable to U
  */
-type Exclude<T, U extends T> = T extends U ? never : T;
+type Exclude<T, U> = T extends U ? never : T;
 
 /**
  * Extract from T those types that are assignable to U
@@ -1883,7 +1887,7 @@ type Extract<T, U> = T extends U ? T : never;
 /**
  * Construct a type with the properties of T except for those in type K.
  */
-type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;
+type Omit<T, K extends PropertyKey> = Pick<T, Exclude<keyof T, K>>;
 
 /**
  * Exclude null and undefined from T
@@ -5651,19 +5655,19 @@ declare namespace Intl {
     readonly currencyDisplay?: NumberFormatOptionsCurrencyDisplay | undefined;
     readonly useGrouping?: NumberFormatOptionsUseGrouping | undefined;
     readonly minimumIntegerDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly minimumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly maximumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly minimumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly maximumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
   }
 
@@ -5673,16 +5677,25 @@ declare namespace Intl {
     readonly style: NumberFormatOptionsStyle;
     readonly currency?: string;
     readonly currencyDisplay?: NumberFormatOptionsCurrencyDisplay;
-    readonly minimumIntegerDigits: import('ts-type-forge').UintRange<1, 22>;
-    readonly minimumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
-    readonly maximumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
-    readonly minimumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly minimumIntegerDigits: import('ts-type-forge').UintRangeInclusive<
+      1,
+      21
+    >;
+    readonly minimumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly maximumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly minimumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
-    readonly maximumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly maximumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
     readonly useGrouping: ResolvedNumberFormatOptionsUseGrouping;
   }

package/libs/esnext/temporal/index.d.ts

@@ -36,12 +36,9 @@ declare namespace Temporal {
   type ZonedDateTimeLike = ZonedDateTime | ZonedDateTimeLikeObject | string;
 
   type PartialTemporalLike<T extends object> = {
-    readonly [
-      P in import('ts-type-forge').RelaxedExclude<
-        keyof T,
-        'calendar' | 'timeZone'
-      >
-    ]?: T[P] | undefined;
+    readonly [P in Exclude<keyof T, 'calendar' | 'timeZone'>]?:
+      | T[P]
+      | undefined;
   };
 
   interface DateLikeObject {

package/libs-branded/dom/index.d.ts

@@ -50123,10 +50123,7 @@ interface MathMLElementTagNameMap {
 type ElementTagNameMap = HTMLElementTagNameMap &
   Pick<
     SVGElementTagNameMap,
-    import('ts-type-forge').RelaxedExclude<
-      keyof SVGElementTagNameMap,
-      keyof HTMLElementTagNameMap
-    >
+    Exclude<keyof SVGElementTagNameMap, keyof HTMLElementTagNameMap>
   >;
 
 declare const Audio: {

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

@@ -120,7 +120,7 @@ interface Math {
    * Returns the number of leading zero bits in the 32-bit binary representation of a number.
    * @param x A numeric expression.
    */
-  clz32(x: number): import('ts-type-forge').UintRange<0, 33>;
+  clz32(x: number): import('ts-type-forge').UintRangeInclusive<0, 32>;
 
   /**
    * Returns the result of 32-bit multiplication of two numbers.
@@ -313,7 +313,7 @@ interface NumberConstructor {
    */
   parseInt(
     string: string,
-    radix?: import('ts-type-forge').UintRange<2, 37>,
+    radix?: import('ts-type-forge').UintRangeInclusive<2, 36>,
   ): import('ts-type-forge').Int | import('ts-type-forge').NaNType;
 }
 

package/libs-branded/es2017/object/index.d.ts

@@ -44,8 +44,7 @@ declare namespace StrictLibInternals {
                 ToStr<keyof PickByValue<R, R[K]>>,
                 R[K],
               ];
-              // eslint-disable-next-line @typescript-eslint/no-restricted-types
-            }[import('ts-type-forge').RelaxedExclude<keyof R, symbol>]
+            }[Exclude<keyof R, symbol>]
         )[]
       : never;
 }

package/libs-branded/es2018/intl/index.d.ts

@@ -7,19 +7,19 @@ declare namespace Intl {
     readonly localeMatcher?: 'lookup' | 'best fit' | undefined;
     readonly type?: PluralRuleType | undefined;
     readonly minimumIntegerDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly minimumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly maximumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly minimumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly maximumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
   }
 
@@ -27,16 +27,25 @@ declare namespace Intl {
     readonly locale: string;
     readonly pluralCategories: readonly LDMLPluralRule[];
     readonly type: PluralRuleType;
-    readonly minimumIntegerDigits: import('ts-type-forge').UintRange<1, 22>;
-    readonly minimumFractionDigits: import('ts-type-forge').UintRange<0, 21>;
-    readonly maximumFractionDigits: import('ts-type-forge').UintRange<0, 21>;
-    readonly minimumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly minimumIntegerDigits: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
-    readonly maximumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly minimumFractionDigits: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly maximumFractionDigits: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly minimumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
+      1,
+      21
+    >;
+    readonly maximumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
   }
 

package/libs-branded/es2020/bigint/index.d.ts

@@ -45,27 +45,42 @@ interface BigIntToLocaleStringOptions {
   /**
    * The minimum number of integer digits to use. Possible values are from 1 to 21; the default is 1.
    */
-  readonly minimumIntegerDigits?: import('ts-type-forge').UintRange<1, 22>;
+  readonly minimumIntegerDigits?: import('ts-type-forge').UintRangeInclusive<
+    1,
+    21
+  >;
 
   /**
    * The minimum number of fraction digits to use. Possible values are from 0 to 20; the default for plain number and percent formatting is 0; the default for currency formatting is the number of minor unit digits provided by the {@link http://www.currency-iso.org/en/home/tables/table-a1.html ISO 4217 currency codes list} (2 if the list doesn't provide that information).
    */
-  readonly minimumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
+  readonly minimumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+    0,
+    20
+  >;
 
   /**
    * The maximum number of fraction digits to use. Possible values are from 0 to 20; the default for plain number formatting is the larger of minimumFractionDigits and 3; the default for currency formatting is the larger of minimumFractionDigits and the number of minor unit digits provided by the {@link http://www.currency-iso.org/en/home/tables/table-a1.html ISO 4217 currency codes list} (2 if the list doesn't provide that information); the default for percent formatting is the larger of minimumFractionDigits and 0.
    */
-  readonly maximumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
+  readonly maximumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+    0,
+    20
+  >;
 
   /**
    * The minimum number of significant digits to use. Possible values are from 1 to 21; the default is 1.
    */
-  readonly minimumSignificantDigits?: import('ts-type-forge').UintRange<1, 22>;
+  readonly minimumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
+    1,
+    21
+  >;
 
   /**
    * The maximum number of significant digits to use. Possible values are from 1 to 21; the default is 21.
    */
-  readonly maximumSignificantDigits?: import('ts-type-forge').UintRange<1, 22>;
+  readonly maximumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
+    1,
+    21
+  >;
 
   /**
    * The formatting that should be displayed for the number, the defaults is "standard"
@@ -91,7 +106,7 @@ interface BigInt {
    * Returns a string representation of an object.
    * @param radix Specifies a radix for converting numeric values to strings.
    */
-  toString(radix?: import('ts-type-forge').UintRange<2, 37>): string;
+  toString(radix?: import('ts-type-forge').UintRangeInclusive<2, 36>): string;
 
   /** Returns a string representation appropriate to the host environment's current locale. */
   toLocaleString(
@@ -115,14 +130,20 @@ interface BigIntConstructor {
    * @param bits The number of low bits to use
    * @param int The BigInt whose bits to extract
    */
-  asIntN(bits: import('ts-type-forge').UintRange<0, 65>, int: bigint): bigint;
+  asIntN(
+    bits: import('ts-type-forge').UintRangeInclusive<0, 64>,
+    int: bigint,
+  ): bigint;
   /**
    * Interprets the low bits of a BigInt as an unsigned integer.
    * All higher bits are discarded.
    * @param bits The number of low bits to use
    * @param int The BigInt whose bits to extract
    */
-  asUintN(bits: import('ts-type-forge').UintRange<0, 65>, int: bigint): bigint;
+  asUintN(
+    bits: import('ts-type-forge').UintRangeInclusive<0, 64>,
+    int: bigint,
+  ): bigint;
 }
 
 declare const BigInt: BigIntConstructor;

package/libs-branded/es5/index.d.ts

@@ -24,7 +24,7 @@ declare function eval(x: string): unknown;
  */
 declare function parseInt(
   string: string,
-  radix?: import('ts-type-forge').UintRange<2, 37>,
+  radix?: import('ts-type-forge').UintRangeInclusive<2, 36>,
 ): import('ts-type-forge').Int | import('ts-type-forge').NaNType;
 
 /**
@@ -650,27 +650,31 @@ interface Number {
    * Returns a string representation of an object.
    * @param radix Specifies a radix for converting numeric values to strings. This value is only used for numbers.
    */
-  toString(radix?: import('ts-type-forge').UintRange<2, 37>): string;
+  toString(radix?: import('ts-type-forge').UintRangeInclusive<2, 36>): string;
 
   /**
    * Returns a string representing a number in fixed-point notation.
    * @param fractionDigits Number of digits after the decimal point. Must be in the range 0 - 100, inclusive.
    */
-  toFixed(fractionDigits?: import('ts-type-forge').UintRange<0, 101>): string;
+  toFixed(
+    fractionDigits?: import('ts-type-forge').UintRangeInclusive<0, 100>,
+  ): string;
 
   /**
    * Returns a string containing a number represented in exponential notation.
    * @param fractionDigits Number of digits after the decimal point. Must be in the range 0 - 100, inclusive.
    */
   toExponential(
-    fractionDigits?: import('ts-type-forge').UintRange<1, 101>,
+    fractionDigits?: import('ts-type-forge').UintRangeInclusive<1, 100>,
   ): string;
 
   /**
    * Returns a string containing a number represented either in exponential or fixed-point notation with a specified number of digits.
    * @param precision Number of significant digits. Must be in the range 1 - 100, inclusive.
    */
-  toPrecision(precision?: import('ts-type-forge').UintRange<1, 101>): string;
+  toPrecision(
+    precision?: import('ts-type-forge').UintRangeInclusive<1, 100>,
+  ): string;
 
   /** Returns the primitive value of the specified object. */
   valueOf(): number;
@@ -1324,7 +1328,7 @@ interface JSON {
   stringify(
     value: unknown,
     replacer?: (this: unknown, key: string, value: unknown) => unknown,
-    space?: string | import('ts-type-forge').UintRange<1, 11>,
+    space?: string | import('ts-type-forge').UintRangeInclusive<1, 10>,
   ): string;
   /**
    * Converts a JavaScript value to a JavaScript Object Notation (JSON) string.
@@ -1336,7 +1340,7 @@ interface JSON {
   stringify(
     value: unknown,
     replacer?: readonly (number | string)[] | null,
-    space?: string | import('ts-type-forge').UintRange<1, 11>,
+    space?: string | import('ts-type-forge').UintRangeInclusive<1, 10>,
   ): string;
 }
 
@@ -2028,7 +2032,7 @@ type Record<K extends PropertyKey, T> = {
 /**
  * Exclude from T those types that are assignable to U
  */
-type Exclude<T, U extends T> = T extends U ? never : T;
+type Exclude<T, U> = T extends U ? never : T;
 
 /**
  * Extract from T those types that are assignable to U
@@ -2038,7 +2042,7 @@ type Extract<T, U> = T extends U ? T : never;
 /**
  * Construct a type with the properties of T except for those in type K.
  */
-type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;
+type Omit<T, K extends PropertyKey> = Pick<T, Exclude<keyof T, K>>;
 
 /**
  * Exclude null and undefined from T
@@ -6312,19 +6316,19 @@ declare namespace Intl {
     readonly currencyDisplay?: NumberFormatOptionsCurrencyDisplay | undefined;
     readonly useGrouping?: NumberFormatOptionsUseGrouping | undefined;
     readonly minimumIntegerDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly minimumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly maximumFractionDigits?:
-      | import('ts-type-forge').UintRange<0, 21>
+      | import('ts-type-forge').UintRangeInclusive<0, 20>
       | undefined;
     readonly minimumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
     readonly maximumSignificantDigits?:
-      | import('ts-type-forge').UintRange<1, 22>
+      | import('ts-type-forge').UintRangeInclusive<1, 21>
       | undefined;
   }
 
@@ -6334,16 +6338,25 @@ declare namespace Intl {
     readonly style: NumberFormatOptionsStyle;
     readonly currency?: string;
     readonly currencyDisplay?: NumberFormatOptionsCurrencyDisplay;
-    readonly minimumIntegerDigits: import('ts-type-forge').UintRange<1, 22>;
-    readonly minimumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
-    readonly maximumFractionDigits?: import('ts-type-forge').UintRange<0, 21>;
-    readonly minimumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly minimumIntegerDigits: import('ts-type-forge').UintRangeInclusive<
+      1,
+      21
+    >;
+    readonly minimumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly maximumFractionDigits?: import('ts-type-forge').UintRangeInclusive<
+      0,
+      20
+    >;
+    readonly minimumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
-    readonly maximumSignificantDigits?: import('ts-type-forge').UintRange<
+    readonly maximumSignificantDigits?: import('ts-type-forge').UintRangeInclusive<
       1,
-      22
+      21
     >;
     readonly useGrouping: ResolvedNumberFormatOptionsUseGrouping;
   }

package/libs-branded/esnext/temporal/index.d.ts

@@ -36,12 +36,9 @@ declare namespace Temporal {
   type ZonedDateTimeLike = ZonedDateTime | ZonedDateTimeLikeObject | string;
 
   type PartialTemporalLike<T extends object> = {
-    readonly [
-      P in import('ts-type-forge').RelaxedExclude<
-        keyof T,
-        'calendar' | 'timeZone'
-      >
-    ]?: T[P] | undefined;
+    readonly [P in Exclude<keyof T, 'calendar' | 'timeZone'>]?:
+      | T[P]
+      | undefined;
   };
 
   interface DateLikeObject {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "strict-ts-lib-v7.0",
-  "version": "0.5.1",
+  "version": "0.6.1",
   "private": false,
   "description": "Strict TypeScript 7.0.2 standard library (all libs in one package)",
   "license": "Apache-2.0",
@@ -25,6 +25,6 @@
     "ts-type-forge": "^9.0.0"
   },
   "peerDependencies": {
-    "typescript": ">=7.0.0 <7.1.0"
+    "typescript": ">=6.0.0 <8.0.0"
   }
 }