This inspection runs when Kind Projector plugin is enabled. It finds type projections and converts them into Kind Projector format.
Before:
def a: ({type L[A] = (A, A)})#L
After:
def a: λ[A => (A, A)]