ValidateSimple<V, S>: IsNever<S extends Exact<S, V>
        ? S
        : never> extends true
    ? "Validation failed: Types do not match."
    : S

Type Parameters

  • V
  • S