Broken in TypeScript < 4.7

[ntucker]

Environment

• Linaria version:

    "@linaria/babel-preset": "4.4.3",
    "@linaria/core": "4.2.8",
    "@linaria/react": "4.3.6",
    "@linaria/shaker": "4.2.9",
  

• Bundler (+ version): webpack 5

• Node.js version: 18

• OS: ubuntu

Description

node_modules/@linaria/tags/types/utils/validateParams.d.ts:5:99 - error TS1005: '?' expected.

5 declare type GetParamByName<T> = T extends '*' ? Param : T extends (infer TNames extends ParamName)[] ? Extract<Param, readonly [TNames, ...unknown[]]> : T extends ParamName ? Extract<Param, readonly [T, ...unknown[]]> : never;
                                                                                                    ~

node_modules/@linaria/tags/types/utils/validateParams.d.ts:6:161 - error TS1005: '?' expected.

6 export declare type MapParams<TNames extends ParamConstraints, TRes extends Param[] = []> = TNames extends [infer THead, ...infer TTail extends ParamConstraints] ? THead extends '...' ? [...TRes, ...Params] : MapParams<TTail, [...TRes, GetParamByName<THead>]> : TRes;
                                                                                                                                                                  

This is because validateParams uses a 4.7 feature extends Constraints on infer Type Variables

Without this, only 4.1 is really needed (at least for parsing) as it introduced string template literals.

Reproducible Demo

Can't figure out how to set the TypeScript version in stackblitz, but literally any setup with just one import will trigger this with typescript 4.1

Solution

You can add an entry for types less than 4.7 . This could include the same types except one module that is changed to be more loose just so it works in 4.1

  "typesVersions": {
    ">=4.7": {
      "": [
        "lib/index.d.ts"
      ],
      "*": [
        "lib/index.d.ts"
      ]
    },
    ">=4.1": {
      "": [
        "ts4.1/index.d.ts"
      ],
      "*": [
        "ts4.1/index.d.ts"
      ]
    }
  },