我应该如何为具有Typescript不兼容继承实践的JS库填写模块声明文件?

基类:

class Entity {
  ...

  /**
  * Test whether a given User has permission to perform some action on this Entity
  * @param {User} user           The User requesting creation
  * @param {string} action       The attempted action
  * @return {boolean}            Does the User have permission?
  */
  can(user, action) {
    ...
  }
}

子类:

class User extends Entity {
  ...

  /**
   * Test whether the User is able to perform a certain permission action. Game Master users are always allowed to
   * perform every action, regardless of permissions.
   *
   * @param {string} permission     The action to test
   * @return {boolean}              Does the user have the ability to perform this action?
   */
   can(permission) {
     ...
   }
}

我怎样才能忠实地表示像上面这样的重写方法,而不让tsc指出显而易见的问题呢?还是我要以某种方式“撒谎”,歪曲他们之间的关系 Entity 和 User ?