In the current release compiler, the following works and compiles without errors:
interface A {
(key:string):void;
}
interface B extends A {
(key:'foo'):string;
}
In the new compiler, an error:
testcase.ts(6,3): Specialized overload signature is not assignable to any non-specialized signature.