EG
Это-то как раз вполне реальная фича Rust, которая даже в нём была
Size: a a a
2020 March 10
EG
Но всё сломала и вот больше нет
AZ
Это-то как раз вполне реальная фича Rust, которая даже в нём была
я бы не сказал что это прям настолько дофига нужная фича что так надо ныть
EG
https://github.com/GoldsteinE/teloxide/blob/fallible-storage/examples/dialogue_bot/src/main.rs#L176
Вот, например, реальный пример — эта последняя ветка не нужна.
Вот, например, реальный пример — эта последняя ветка не нужна.
AZ
полнофункциональные невер типы можно иметь, то что нет поддержки компилятора для таких кейсов - ну сорян
EG
Она выражает вариант
Err(Infallible).EG
Я хочу убедиться, что никакой другой вариант я не забыл. В текущем синтаксисе это быстро сделать нельзя.
r
Но всё сломала и вот больше нет
Never type больше не собираются стабилизировать?
EG
red75prime
Never type больше не собираются стабилизировать?
Последний коммент в прошлом году
EG
Я хочу убедиться, что никакой другой вариант я не забыл. В текущем синтаксисе это быстро сделать нельзя.
Т. е. на самом деле, если бы это не было примером, я бы честно выписывал
DialogueDispatcherHandlerCx { bot, update, dialogue: Err(_) } => panic!()EG
Но это очень вербозно для ветки, которая вообще не нужна, потому что никогда не выполняется
EG
То, что там сейчас написано — это, вообще-то, неправда, потому что если появится новый вариант диалога, то оно скомпилируется
EG
А не должно. И
exhaustive_patterns решает как раз эту проблему.AZ
https://github.com/GoldsteinE/teloxide/blob/fallible-storage/examples/dialogue_bot/src/main.rs#L176
Вот, например, реальный пример — эта последняя ветка не нужна.
Вот, например, реальный пример — эта последняя ветка не нужна.
А тебе не кажется что так читаемее?
EG
Хм. Согласен, спасибо за идею.
EG
Только функции
.safe_unwrap() в стдлибе, увы, нетAZ
ну, её придется написать
P
Но это очень вербозно для ветки, которая вообще не нужна, потому что никогда не выполняется
тем не менее это обычно корнеркейс и неплохо бы писать почему оно не может упасть
G
Спасибо
EG
С
exhaustive_patterns (или с `safe_unwrap`) там компилятор проверит, что оно не может упасть