AN
Я не знаю в каком моменте надо говорить ллвм про ноализ. Если это когда мы обявляем структуру то это будет враньё. В случае с self reference struct, или генератор.
Size: a a a
2021 April 30
AN
Если мы храним в структуре сырые указатели а уже ноализ говорим в момент вызова метода на self то это меняет дело. Если явно self нигде не используется в теле метода, как в случае с генератором обявленым через async fn то вроде все норм
AN
А и ещё не ясно могут ли &mut какие то утечь за пределы кода который генерируется для футур куда то по другим пользовательским функциям. Но вроде как нет.
ИЛ
Да и 2021 издание на подходе - http://rust-blog-draft.things.stuff.m-ou.se/2021/04/30/edition-2021.html
AN
Поэтому кароче не ясно что решилось тем что !unpin сделали всегда alias. Если одна часть alias то и вторая alias по логике тоже. Это же транзитивное понятие.
KR
Ну alias же не делает УБ при оверлапинге.
AN
Ну тогда все "локальные" переменные футуры тоже alias
RP
ооо, resolver=2 просто эпичен
AN
И все их производные. :(
KR
Шо, все крейты по кд пересобираются?)
RP
почему? этот alias для !unpin нужен как хак для исправления УБ в стейтах генераторов
RP
сейчас же можно УБ легко сделать в async/await коде, потому что стейт может алиаситься, а оно помечается как noalias, что есть УБ внутри ллвм
AN
Ну алисинг это два указателя. Один это пойнтер на Generator а второй?
RP
https://doc.rust-lang.org/cargo/reference/resolver.html#feature-resolver-version-2
эпичное исправление древних хотелок. наконец-то можно build deps и conditional deps включать как угодно, а в обычных зависимостях делать nostd, и твой крейт будет nostd
эпичное исправление древних хотелок. наконец-то можно build deps и conditional deps включать как угодно, а в обычных зависимостях делать nostd, и твой крейт будет nostd
KR
Аааа… у тебя ещё букетно-конфетный восторг)
RP
очевидно, что образуются две &mut на одну область
KR
Там не всё так гладко ещё.
AN
И обе !Unpin?
KR
У нас, допустим, один крейт пересобирает
src/ если меняется только tests/.RP
@technic93 серьезно? кучу раз же кидали ссылку на ишью