---
source: crates/biome_js_analyze/tests/spec_tests.rs
expression: infer.ts
---
# Input
```ts
export type WithSelectors<S> = S extends { getState: () => infer T }
	? S & { use: { [K in keyof T]: () => T[K] } }
	: never;

type A = number extends infer T ? T : never;

```