История изменений

это реализуется нетривиально. это простых терминах реализуется как функция ВСЕГДА возвращающая вариантную запись, и вызывающий по тегу должен определить - возвратила ли она некий Error или мусор в виде void.

Ага, она так и реализуется.

отсюда простой вывод. вы возвращаете вариантную запись с тегом безо всякхих там пустых типов. а пустые типы у вас возникли из-за ваших абстракций.

Там (). Это пустой тип. Ещё раз прочитай код.

P.S. Процитирую разработчиков Rust, чтобы тебе было попроще:

The () type has exactly one value (), and is used when there is no other meaningful value that could be returned.

это реализуется нетривиально. это простых терминах реализуется как функция ВСЕГДА возвращающая вариантную запись, и вызывающий по тегу должен определить - возвратила ли она некий Error или мусор в виде void.

Ага, она так и реализуется.

отсюда простой вывод. вы возвращаете вариантную запись с тегом безо всякхих там пустых типов. а пустые типы у вас возникли из-за ваших абстракций.

Там (). Это пустой тип. Ещё раз прочитай код.

P.S. Процитирую разработчиков Rust, чтобы тебе было попроще:

The () type has exactly one value (), and is used when there is no other meaningful value that could be returned. 

это реализуется нетривиально. это простых терминах реализуется как функция ВСЕГДА возвращающая вариантную запись, и вызывающий по тегу должен определить - возвратила ли она некий Error или мусор в виде void.

Ага, она так и реализуется.

отсюда простой вывод. вы возвращаете вариантную запись с тегом безо всякхих там пустых типов. а пустые типы у вас возникли из-за ваших абстракций.

Там (). Это пустой тип. Ещё раз прочитай код.