Type Alias Overrides<E, I>

Overrides: {
    [K in keyof E]: Projection<K & string> extends keyof I
        ? Content<E[K]> extends I[Projection<K & string>] ? E[K] : never
        : E[K]
}

Checks that child property overrides are assignable to inherited types.