fix: fix Input generic contravariant error with TS 5+ (#298)

Author: didavid61202

src/core/internal.ts

@@ -7,7 +7,7 @@ const GROUPED_AS_REPLACE_RE = /^(?:\(\?:(.+)\)|(\(?.+\)?))$/
 const GROUPED_REPLACE_RE = /^(?:\(\?:(.+)\)([?+*]|{[\d,]+})?|(.+))$/
 
 export interface Input<
- in V extends string,
+ V extends string,
  G extends string = never,
  C extends (string | undefined)[] = []
 > {
@@ -67,22 +67,34 @@ export interface Input<
  ) => Input<`${V}(?!${Join<MapToValues<I>, '', ''>})`, G, [...C, ...CG]>
  /** repeat the previous pattern an exact number of times */
  times: {
- <N extends number>(number: N): Input<IfUnwrapped<V, `(?:${V}){${N}}`, `${V}{${N}}`>, G, C>
+ <N extends number, NV extends string = IfUnwrapped<V, `(?:${V}){${N}}`, `${V}{${N}}`>>(
+ number: N
+ ): Input<NV, G, C>
  /** specify that the expression can repeat any number of times, _including none_ */
- any: () => Input<IfUnwrapped<V, `(?:${V})*`, `${V}*`>, G, C>
+ any: <NV extends string = IfUnwrapped<V, `(?:${V})*`, `${V}*`>>() => Input<NV, G, C>
  /** specify that the expression must occur at least `N` times */
- atLeast: <N extends number>(
+ atLeast: <
+ N extends number,
+ NV extends string = IfUnwrapped<V, `(?:${V}){${N},}`, `${V}{${N},}`>
+ >(
  number: N
- ) => Input<IfUnwrapped<V, `(?:${V}){${N},}`, `${V}{${N},}`>, G, C>
+ ) => Input<NV, G, C>
  /** specify that the expression must occur at most `N` times */
- atMost: <N extends number>(
+ atMost: <
+ N extends number,
+ NV extends string = IfUnwrapped<V, `(?:${V}){0,${N}}`, `${V}{0,${N}}`>
+ >(
  number: N
- ) => Input<IfUnwrapped<V, `(?:${V}){0,${N}}`, `${V}{0,${N}}`>, G, C>
+ ) => Input<NV, G, C>
  /** specify a range of times to repeat the previous pattern */
- between: <Min extends number, Max extends number>(
+ between: <
+ Min extends number,
+ Max extends number,
+ NV extends string = IfUnwrapped<V, `(?:${V}){${Min},${Max}}`, `${V}{${Min},${Max}}`>
+ >(
  min: Min,
  max: Max
- ) => Input<IfUnwrapped<V, `(?:${V}){${Min},${Max}}`, `${V}{${Min},${Max}}`>, G, C>
+ ) => Input<NV, G, C>
  }
  /** this defines the entire input so far as a named capture group. You will get type safety when using the resulting RegExp with `String.match()`. Alias for `groupedAs` */
  as: <K extends string>(
@@ -112,7 +124,8 @@ export interface Input<
  lineEnd: () => Input<`${V}$`, G, C>
  }
  /** this allows you to mark the input so far as optional */
- optionally: () => Input<IfUnwrapped<V, `(?:${V})?`, `${V}?`>, G, C>
+ optionally: <NV extends string = IfUnwrapped<V, `(?:${V})?`, `${V}?`>>() => Input<NV, G, C>
+
  toString: () => string
 }