Stricter types for select macro

[MikaelSiidorow]

Problem Description

Select macro doesn't validate choices other than other currently.

Proposed Solution

Make the macro generic over value, and the choice keys required if the value is a union type.

Potential solution:

 declare function select<T extends string | number>(
    value: T,
    options: {
      [key in T]: string
    } & {
      other: string
    }
  ): string

Alternatives Considered

I can extend the types or patch the dependency locally, but it could make sense to contribute this change to benefit everyone

Additional Context

No response

[timofei-iatsenko]

Feel free to create a PR, there are also type tests, include the updates to them covering your changes. Thanks!

[MikaelSiidorow]

Feel free to create a PR, there are also type tests, include the updates to them covering your changes. Thanks!

Sounds good! I'll check it out soon