From 1aa2b15f8cbfe20f202df6ac8a5a9b85ad1ccf92 Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Wed, 25 Jul 2018 12:42:47 -0700 Subject: [PATCH] Add regression test --- .../conformance/types/rest/genericRestParameters1.ts | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/tests/cases/conformance/types/rest/genericRestParameters1.ts b/tests/cases/conformance/types/rest/genericRestParameters1.ts index d3e65e754ec..ac8434dc5b2 100644 --- a/tests/cases/conformance/types/rest/genericRestParameters1.ts +++ b/tests/cases/conformance/types/rest/genericRestParameters1.ts @@ -155,3 +155,15 @@ events.emit('move', 10, 'left'); events.emit('jump', 20, 'up'); events.emit('stop', 'Bye!'); events.emit('done'); + +// Repro from #25871 + +declare var ff1: (... args: any[]) => void; + +declare var ff2: () => void; +declare var ff3: (...args: []) => void; +declare var ff4: (a: never) => void; + +ff1 = ff2; +ff1 = ff3; +ff1 = ff4; // Error