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:

Non è indicato alcun file sorgente né alcun test. Inizia riproducendo le due chiamate nell'esempio TypeScript fornito e confronta le diagnosi del Playground o di un compilatore locale, quindi segui il percorso di elaborazione e deduplicazione degli errori del compilatore. Il lavoro è concluso quando le elaborazioni ripetute mantengono lo stesso messaggio completo sia nel caso dello stesso file sia nel caso di file diversi.