@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 = ???