@targetName アノテーションを使用した定義をオーバーライドしているものの、異なる外部名を持つ @targetName アノテーションを使用した定義を報告します。

@targetName アノテーションを参照してください。

クイックフィックスを使用すると、@targetName アノテーションの外部名がオーバーライドされた定義の外部名に置換されます。

例:

  trait A:
    @targetName("multiply")
    def *(i: Int): A

  class B extends A:
    @targetName("times")
    override def *(i: Int): A = ???

クイックフィックス適用後:

  trait A:
    @targetName("multiply")
    def *(i: Int): A

  class B extends A:
    @targetName("multiply")
    override def *(i: Int): A = ???