Type Alias ValidProviderDependencies<Deps, Dm>

ValidProviderDependencies: Deps extends object
    ? {
        readonly [K in keyof Deps]: K extends keyof Dm
            ? Dm[K] extends Factory<infer R>
                ? R extends Deps[K]
                    ? K extends FlattenDependencies<Dm, K>
                        ? NeverCyclicDependency<K, FlattenDependencies<Dm, K>>
                        : Deps[K]
                    : NeverWrongDependencyType<ReturnType<Dm[K]>, Deps[K]>
                : NeverMissingDependency<K>
            : NeverMissingDependency<K>
    }
    : NeverInvalidDependenciesType