D
ага, ну давай сначала stacked borrows vs async/await
Size: a a a
2021 April 17
ΑZ
нельзя получить уб в сейф коде который является таковым by design
p
Давай про него
ΑZ
С спорить про то что бывают баги в компиляторе как-то и лениво хз
EG
Ну, whatever rustc does делает исключение для
!Unpin типовp
??
EG
Но не гарантирует, что это так и останется, с точки зрения semver
p
Сейф код значит что он не помечен как unsafe {} и больше НИЧЕГО это не говорит
ΑZ
если ты получаешь уб в сейф коде то варианта два:
1. это баг и его чинят
2. тебе говорят "так и надо"
Вот второго сценария в расте я пока не встречал
1. это баг и его чинят
2. тебе говорят "так и надо"
Вот второго сценария в расте я пока не встречал
p
Ты вызываешь ансейф код который делает уб и все
D
для моих типов также сделает? или нагенерит херни?
p
Твой код сейф но содержит уб
EG
Также сделает
EG
Но это implementation detail
ΑZ
нет, это ансейф содержит уб, а твой код идет после этого
p
Второй сценарий это std
p
Там через шаг уб эксплуатируется
p
(щас скажет что стд можно)
EG
Это проблема из двух частей
p
Да, и он содержит уб. Ведь во время его вызова происходит сегфолт.