Reports types that could be simplified.
Example:
def test: ({type l[a] = Either[String, a]})#l[Int] = ???
After the quick-fix is applied:
def test: Either[String, Int] = ???