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

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

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

例:


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

  class B extends A:
    override def *(i: Int): A = ???

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


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

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