Type is never if two distinct module groups are merged

[danieldietrich]

Bug Report

Djinject version: 0.5.0

The following code is expected to work but currently does not compile:

interface I1 {
    b?: boolean
}

interface I2 {
    n: number
}

type Dependencies = {
    group: {
        Service1?: I1
    }
}

type Context = {
    group: {
        Service2: I2
    }
}

// ERROR: Type '{ Service1: () => I1; }' is not assignable to type 'never'.ts(2322)
export const x = {
    group: {
        Service1: () => ({
            b: true
        })
    }
} satisfies Module<Context, Dependencies>;

Workaround:

export const x = {
    group: {
        Service1: () => ({
            b: true
        })
    }
} satisfies Module<Context & Dependencies>;

The current behavior

Type of x is

{
    group: never
}

The expected behavior

Type of x is

{
    group: {
        Service1: I1,
        Service2: I2
    }
}