Abstract classes that implement interfaces shouldn't require method signatures

TypeScript Version: 2.7

Search Terms: abstract class implements interface

Code

interface FooFace {
    foo();
}
abstract class FooClass implements FooFace {
    //         ^^^^^^^^
    // Class 'FooClass' incorrectly implements interface 'FooFace'.
    //   Property 'foo' is missing in type 'FooClass'.
    //
    // unless the following is uncommented:
    //abstract foo();
}

// contrast:
abstract class BarClass {
    abstract bar();
}
abstract class BarSubClass extends BarClass {
    // no `abstract bar();` required
}

Expected behavior:
Abstract classes that implement interfaces don't need to define abstract type definitions to satisfy interface.

Actual behavior:
They do.

Playground Link

Related Issues:

• #19847, where typescript fails to see that a superclass does implement a method (contrast this ticket, where typescript fails to see that a class need not implement a method)

Reproduisez l’exemple TypeScript 2.7 de l’issue ou de son lien Playground, puis examinez le chemin de vérification de compatibilité des classes/interfaces et comparez-le à l’exemple de la superclasse abstraite. Le travail est considéré comme terminé lorsqu’une classe abstraite peut implémenter une interface sans déclarer chaque membre non implémenté comme abstract, tandis que les sous-classes concrètes respectent toujours le contrat de l’interface ; consultez l’issue associée #19847 et la discussion pour connaître les contraintes.