Статически решить, является ли класс Scala неизменным

Я только что посетил Scala-лекцию в летней школе. Лектор получил следующий вопрос:

-« Есть ли способ у компилятора определить, является ли класс неизменный? »

Лектор ответил

:« Нет, нет. Было бы очень хорошо, если бы это было возможно. "

Я был удивлен. Разве это не просто проверить, содержит ли класс какие-либо члены-переменные?