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)]