ΑZ
в обратную же сторону оно не должно работать никогда
Size: a a a
2021 April 18
ΑZ
с правильными баундами нельзя вызвать хелпер в том контексте - борровчекер не дает
ΑZ
короч какая-то адская дырень
ΑZ
хз почему не починили
AN
Да там в иссью много написали. Но у меня уже пар с ушей то все читать. Кароче когда мы присваиваем одной функции другую то тот факт что where баунды есть не участвует в проверки варианса
AN
Когда они имплисит по крайней мере.
TK
Короче, я проверил, и система типов усиленно не даёт возможность написать некомпилирующийся код: везде, где ожидается обобщённый параметр 'a, подойдёт 'static, и нет явной конструкции, которая могла бы сказать "дай мне лайфтайм на подольше"
TK
В этом месте не напортачили от слова совсем
ΑZ
короче во всех местах где юзается >1 лайфтайма нужно явн описать баундлы
ΑZ
выводит он их через жопу
ΑZ
вот и все правило
AN
Бля. Очередная позорная штука. Я понимаю обделаться в каких то не тривиальных ансейф моментов, где надо попытаться моделировать реальный мир через абстракции. Но не смочь задизайнить свою же систему типов которая уже абстрактная по определению. Это жирный минус им в карму.
AN
Надо ждать получается следующее поколение аспирантов, которые это будут делать для нас 😊
AN
Кстати может это косяк только fn, тогда не так все плохо. (?)
ΑZ
это косяк вариантности. А в чем она проявляетяс не важно
ΑZ
ятп на фантомдатах можно похожее получить
AN
Получается на структурах тоже теряются эти трейт баунды куда-то
AN
Типа struct s {ref:& 'a &'b T}
TK
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=0d467dc0a6a2987d301c66003fd10e27
Пример очень скучный, но, тем не менее, наглядно демонстрирует, что &'static &'a сигнатура не пройдёт, даже если фактически она корректно используется, в отличие от &'a &'a
Пример очень скучный, но, тем не менее, наглядно демонстрирует, что &'static &'a сигнатура не пройдёт, даже если фактически она корректно используется, в отличие от &'a &'a