microsoft / microsoft/TypeScript

Missing arguments in a callback function within a decorator result in error

オープン
#54,587 コメント 0 件 リアクション 0 件 担当者 1 名 GitHub で見る

@rbuckton がすでに取り組んでいます。

2023年6月12日 から。

Needs Investigation
主要言語
Go
スター
111k
フォーク
14.4k
平均マージ
1日 19時間
マージ済み PR(30日)
117

説明

Bug Report

In TS 5.1.3 when writing decorators that use the experimentalDecorators setting,
and writing a decorator that receives a callback function in the factory, which it calls with the function this context and arguments, then TS fails with Unable to resolve signature of method decorator when called as an expression. when the callback function has not defined the argument in its callback, but works when it is present even if unused.

This even happens if the callback function is explicitly typed to also accept a version that does not take arguments.

🔎 Search Terms

Decorators, experimentalDecorators

🕗 Version & Regression Information

TS 5.1.3
experimentalDecorators enabled

⏯ Playground Link

Playground Link

💻 Code
type LogFn<C, A extends any[]> = (this: C, ...args: A) => string
function LoggingDecorator<C, A extends any[]>({ log }: { log: LogFn<C, A> }) {
  return function (
    _target: C,
    _methodName: string,
    descriptor: TypedPropertyDescriptor<(this: C, ...args: A) => Promise<any>>
  ) {
    const originalMethod = descriptor.value

    descriptor.value = function (this: C, ...args: A) {
      const result = log.apply(this, args)
      console.log(result)
      return originalMethod!.apply(this, args)
    }
  }
}

class NumberService {
  private number = 0
  // This errors
  @LoggingDecorator({
    log() {
      return `test-${this.number}`
    },
  })
  async setNumber(value: number): Promise<number> {
    this.number = value
    return this.number
  }

  // This works fine
  @LoggingDecorator({
    log(_number) {
      return `test-${this.number}`
    },
  })
  async setNumber2(value: number): Promise<number> {
    this.number = value
    return this.number
  }
}
🙁 Actual behavior

TS errors with

Unable to resolve signature of method decorator when called as an expression.
  Argument of type 'TypedPropertyDescriptor<(value: number) => Promise<number>>' is not assignable to parameter of type 'TypedPropertyDescriptor<(this: NumberService) => Promise<any>>'.
    Types of property 'value' are incompatible.
      Type '((value: number) => Promise<number>) | undefined' is not assignable to type '((this: NumberService) => Promise<any>) | undefined'.
        Type '(value: number) => Promise<number>' is not assignable to type '(this: NumberService) => Promise<any>'.ts(1241)
🙂 Expected behavior

TS accepts the function even without arguments.

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。