Здравствуйте, Marty, Вы писали:

M>Ну, я не до конца таки там понял, я думал, что есть какой-то стандартный тип ошибки, который этот оператор умеет проверять, и к нему в паре идёт возвращаемое значение. И вот оно может быть разного типа на разных уровнях иерархии

Result это такой TaggedUnion, который либо ошибка, либо результат. Тип ошибки и результата не особо ограничиваются. А оператор заточен именно вот Result из стандартной библиотеки.