Type Alias ValidFactory<Dm, K>

ValidFactory: Dm[K] extends (deps: infer Deps, add: AddDisposable) => infer R
    ? [R] extends [void]
        ? [never, Dm[K]]
        : [R] extends [ExpectedInputType<Dm, K>]
            ? Dm[K] extends () => any
                ? Dm[K]
                : Deps extends ValidProviderDependencies<Deps, Dm>
                    ? Dm[K]
                    : (deps: ValidProviderDependencies<Deps, Dm>) => R
            : NeverWrongReturnType<ExpectedInputType<Dm, K>, R>
    : NeverInvalidFactoryType