For each property K in T, if T[K] is a Dependency, the value must be
a Factory that produces T[K]. If T[K] is not a Dependency, the
property type resolves to never, causing a compile-time error.
This ensures factories are defined only for valid dependencies and that
each factory is correctly typed.
Type Parameters
T = any
A record whose values are expected to be Dependency types.
A map from dependency keys to factory functions.
For each property
KinT, ifT[K]is aDependency, the value must be aFactorythat producesT[K]. IfT[K]is not aDependency, the property type resolves tonever, causing a compile-time error.This ensures factories are defined only for valid dependencies and that each factory is correctly typed.