Почему я могу присвоить null значению Unit и почему оно преобразуется в ()?

Question

Рассмотрим этот код:

var unit: Unit = null
unit: Unit = ()

а) Почему мне разрешено присваивать значение NULL классу значений? (см. §12.2.3)

б) Почему null конвертируется в ()?

Answer 1

Из раздела спецификации scala 6.26.1:

Значение отбрасывается. Если e имеет некоторый тип значения и ожидаемый тип равен Unit, e преобразуется в ожидаемый тип, встраивая его в термин { e ; () }.

Другими словами, ваш код эквивалентен

var unit: Unit = {null; ()}
unit: Unit = ()

null не конвертируется - он просто игнорируется и заменяется (), предопределенным значением Unit.