-Ykind-projector does not support infix type

[xuwei-k]

Minimized code

dotty version: 0.24.0-RC1, 0.25.0-bin-20200508-f5b1d79-NIGHTLY

scala> trait Functor[F[_]]
// defined trait Functor

scala> type EitherFunctor[A] = Functor[Either[A, *]]
// defined alias type EitherFunctor[A] = Functor[[_$1] =>> Either[A, _$1]]

scala> type EitherFunctor[A] = Functor[A Either *]
1 |type EitherFunctor[A] = Functor[A Either *]
  |                                         ^
  |                                         Not found: type *

Expectation

compile success

[smarter]

We provide -Ykind-projector to help with migration, but we don't plan to extend it ourselves to support more of its features. PRs to do so are welcome though, so I'll move this issue to the feature request repo.

[xuwei-k]

FYI: created scalafix rule

xuwei-k/scalafix-rules@cde493f