型射影を報告し、Kind Projector 形式に変換することを提案します。

例:

  def a: ({type L[A] = (A, A)})#L

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

  def a: Lambda[A => (A, A)]

このインスペクションは、Kind Projector プラグインが有効な場合に動作します。