Reports type projections and suggests to convert them to Kind Projector format.
Example:
def a: ({type L[A] = (A, A)})#L
After the quick-fix is applied:
def a: Lambda[A => (A, A)]
This inspection runs when the Kind Projector plugin is enabled.