Как отключить проверку типов IntelliJ IDEA?

Question

Плагин IntelliJ IDEA для Scala много раз жалуется на «несоответствие типов», хотя рассматриваемый код компилируется абсолютно нормально.Я нахожу это довольно раздражающим, и хотел бы отключить эту функцию.Я не нашел подходящего варианта поиска в настройках.Как мне от этого избавиться?

Answer 1

Отключение «Подсветки типа», нажав этот символ, может немного помочь.

Редактировать

Существует также ряд специальных проверок Scala, которые можно включать и отключать. Доступ к ним можно получить, щелкнув значок «Инспектор» (слева от значка «Тип осведомленности»), показанный на первом снимке экрана выше, и щелкнув «Настроить проверки» во всплывающем диалоговом окне.

Answer 2

Вы можете полностью отключить подсвечивание ошибок, щелкнув человечка в шляпе-котелке в правом нижнем углу экрана и выбрав «Нет» в качестве уровня выделения. Но тогда вы потеряете все подсвечивание ошибок, а не только то, что вас раздражает. (Извините, StackOverflow не позволит мне опубликовать изображение, чтобы точно показать, где найти «Гектор инспектор!»

Answer 3

Кажется, есть способ отключить подсветку с учетом типов только для области кода Scala в IntelliJ. Это было упомянуто разработчиком JetBrains в SCL-10983 , позже я нашел документацию в Работа с подсветкой типа .

Давайте возьмем следующий код (намеренно неправильно):

class Data {
  /*_*/
  def data: Int = this
  /*_*/
  def dataAgain: Int = this
}

Только вторая ошибка будет выделена красным, первая, заключенная в /*_*/, будет проигнорирована.

Answer 4

@ rxg: Вот небольшой тест для демонстрации проблемы:

rows имеет тип IndexedSeq[Row], где Row из библиотеки Excel Apache POI. traverse если функция из Скалаза. Validation - это структура данных из Scalaz. GryphonError это ADT из нашей кодовой базы.

rows.zipWithIndex.traverse[({type L[X] = Validation[Seq[GryphonError], X]})#L, Seq[Any]] { case (row, r) =>
  // some stuff
}

Scalac прекрасно компилирует этот код. Инспектор IDEA жалуется:

   Type mismatch, expected: ((Row, Int) => F[B])
                  actual:   ((Row, Int) => F[IndexedSeq[B]])