TypeScript incorrectly says return is not assignable to an intersection containing all the required props

Bug Report

🔎 Search Terms

& generic intersection omit spread

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about generics

⏯ Playground Link

Playground link with relevant code

💻 Code

export interface BaseProps {
  id?: string;
  name: string;
}

export type PropsWithId<P extends BaseProps> = Omit<
  P,
  'id'
> & { id: string };

export default function usePropsWithId<P extends BaseProps>(
  props: P
): PropsWithId<P> {
  const { id: idProp, name, ...other } = props;
  const id = idProp ?? `${name}-id`;

  return { id, name, ...other };
}

🙁 Actual behavior

The return line gets this TypeScript error:

Type '{ id: string; name: string; } & Omit<P, "id" | "name">' is not assignable to type 'PropsWithId<P>'.
  Type '{ id: string; name: string; } & Omit<P, "id" | "name">' is not assignable to type 'Omit<P, "id">'.

This doesn't make sense since PropsWithId<P> is Omit<P, 'id'> & { id: string };

🙂 Expected behavior

This should work without a TypeScript error.

Commencez par le TypeScript Playground lié et l’exemple d’intersection générique de l’issue, puis suivez la manière dont le checker évalue l’objet retourné par rapport à PropsWithId

. L’issue ne nomme aucun fichier ni test du dépôt ; le travail est terminé lorsque l’exemple se compile sans l’erreur d’assignabilité signalée tout en conservant le type PropsWithId

attendu.