Error elaborations should not be de-duped

TypeScript Version: 3.5.1

Search Terms:

• Error message different

Code

interface ExprData {
  mapper : () => unknown,
  blah : string,
}
interface Expr<DataT extends ExprData> {
  mapper : DataT["mapper"],
  blah : DataT["blah"],

  extra : number,
}

declare function where (
  callback : () => Expr<{
    mapper : () => boolean,
    blah : string,
  }>
) : void;

declare function getInvalidWhere () : Expr<{
  mapper : () => (boolean|null),
  blah : string,
}>;

/*
Type 'Expr<{ mapper: () => boolean | null; blah: string; }>' is not assignable to type 'Expr<{ mapper: () => boolean; blah: string; }>'.
  Type '{ mapper: () => boolean | null; blah: string; }' is not assignable to type '{ mapper: () => boolean; blah: string; }'.
    Types of property 'mapper' are incompatible.
      Type '() => boolean | null' is not assignable to type '() => boolean'.
        Type 'boolean | null' is not assignable to type 'boolean'.
          Type 'null' is not assignable to type 'boolean'.
*/
where(() => getInvalidWhere())
/*
  Expected: Same error as above,
  Actual:
    Type 'Expr<{ mapper: () => boolean | null; blah: string; }>' is not assignable to type
    'Expr<{ mapper: () => boolean; blah: string; }>'.
*/
where(() => getInvalidWhere())

Expected behavior:

• Both errors should have the same error message, if they're in the same file.
• Both errors should have the same error message, if they're in different files.

Actual behavior:

• Both errors have different error messages in the same file.
• Both errors have different error messages in different files.

Playground Link:

Playground

Related Issues:

Aucun fichier source ni aucun test n’est indiqué. Commencez par reproduire les deux appels de l’exemple TypeScript fourni et comparez les diagnostics du Playground ou d’un compilateur local, puis suivez le chemin d’élaboration et de déduplication des erreurs du compilateur. Le travail est terminé lorsque les élaborations répétées conservent le même message complet dans les cas du même fichier et de fichiers différents.