💅 Type-aware rules ~55ms per expression on a recursive conditional type since 2.5.13 (#11620) #11813

Environment information

CLI:
  Version:                      2.5.14

Platform:
  CPU Architecture:             x86_64
  OS:                           linux

Environment:
  BIOME_DISTRIBUTION:                npm
  JS_RUNTIME_VERSION:           v24.18.0
  JS_RUNTIME_NAME:              node

Linter:
  Enabled rules:
    suspicious/noUnnecessaryConditions
    nursery/noFloatingPromises
    nursery/noMisusedPromises

Rule name

nursery/noFloatingPromises, nursery/noMisusedPromises, suspicious/noUnnecessaryConditions

Playground link

https://github.com/AlbinoGeek/biome-recursive-conditional-type-slowdown

interface Api { get(): number }
type Rec<T, L> = L extends [] ? T : Rec<T, []>;
declare const api: Rec<Api, []>;
api.get(); // x20

Non-recursive L extends [] ? T : never stays at 1.6ms. Real-world source: zustand create<T>() (Mutate<StoreApi<T>, []>), every getState(). #11620 was the fix for #11534. Not the same as #11810 (#11780).

Expected result

Same as 2.5.12 (a few ms).

Code of Conduct

• I agree to follow Biome's Code of Conduct