dp
Size: a a a
2020 April 09
MB
Чтобы проверить это, запусти на промежуточном. Кажется, 1.35 подойдет например. Он покажет, если это реально так.
dp
Старый борроучекер допускал некорректные программы, новый их отклоняет.
нифига себе, это ж вообще как на измене, и не покодишь спокойно. всё время теперь думать, что компилятор сам весь unsafe и забагованый?
dp
Чтобы проверить это, запусти на промежуточном. Кажется, 1.35 подойдет например. Он покажет, если это реально так.
а где взять 1.35?
MB
нифига себе, это ж вообще как на измене, и не покодишь спокойно. всё время теперь думать, что компилятор сам весь unsafe и забагованый?
Открываешь багтрекер, смотришь по метке I-unsound и видишь другие баги компилятора.
Но это баги компилятора а не языка.
Но это баги компилятора а не языка.
MB
а где взять 1.35?
Через rustup
MB
Кстати, неожиданная плюшка системы типов. Cancellation token в расте выглядит просто как tokio::sync::oneshot::Receiver<!>.
В
Кстати, неожиданная плюшка системы типов. Cancellation token в расте выглядит просто как tokio::sync::oneshot::Receiver<!>.
Не очень понимаю, как это должно работать?...
MB
Не очень понимаю, как это должно работать?...
Пока TryRecv возвращает Empty, можно продолжать работать
В
Пока TryRecv возвращает Empty, можно продолжать работать
А когда нельзя он паникует?
MB
А когда нельзя он паникует?
А когда нас хотят остановить, дропают Sender. Тогда TryRecv начнет возвращать Closed, и это можно обработать
dp
Кстати, неожиданная плюшка системы типов. Cancellation token в расте выглядит просто как tokio::sync::oneshot::Receiver<!>.
прикольно. я недавно обычный mpsc канал использовал. а оно вон как оказывается...
dp
с unsound багами rustc потом разберусь, а пока хватило дропнуть Cargo.lock.
Э
Кстати, неожиданная плюшка системы типов. Cancellation token в расте выглядит просто как tokio::sync::oneshot::Receiver<!>.
Почему именно токийский? send-recv же целая куча разных.
MB
Почему именно токийский? send-recv же целая куча разных.
Ну можно любой другой взять, да.
Но раз я сижу на токио, то юзать чужие каналы ни к чему.
Но раз я сижу на токио, то юзать чужие каналы ни к чему.
EG
И ещё один баг в логике я только что поймал тестом
EG
Правда, tarpaulin как-то очень странно считает coverage.
dp
EG
https://doc.rust-lang.org/stable/std/macro.vec.html
Не могу понять, чем второй вариант макроса отличается от третьего
Не могу понять, чем второй вариант макроса отличается от третьего
EG
И зачем третий вообще нужен