타입 프로젝션을 보고하고 Kind Projector 형식으로 변환할 것을 제안합니다.

예:

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

빠른 수정 적용 후:

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

이 검사는 Kind Projector 플러그인이 활성화되어 있을 때 실행됩니다.