Union type does not work as expected when recursive types and array is used

[pleerock]

Having following definition:

interface Post {
    id: number;
    title: string;
    tags: {
        id: number;
        name: string;
    };
}

type WhereOptions<E> = {
    [P in keyof E]?: E[P] extends object ? WhereOptions<E[P]> : E[P]
};

type Options<E> = {
    where?: WhereOptions<E> | WhereOptions<E>[];
};

const options: Options<Post> = {
  where: {
      id: 1,
      tags: {
          id: 1,
          blabla: 1, // compiles fine, but I expect it say missing property blabla
      }
  }
};

I don't have compiler errors as I expect.

If I change Options interface to:

type Options<E> = {
    where?: WhereOptions<E>; // | WhereOptions<E>[];
};

Then I see the error I expect. Is it a bug?

(sorry as usual don't know how to title issue).

[mhegazy]

looks like a duplicate of #20863

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.