ΑZ
точнее &'a &'static ()
Size: a a a
2021 April 18
ΑZ
пока вроде разумно
TK
Мы тебе подберём два лайфтайма: один скоупнутый, другой вечный (или любой сильнее 'static).
ΑZ
кажется что баг в make_static все же
ΑZ
&&() это &'static &'a (), откуда 'a : 'static откуда 'a = 'static
ΑZ
а у нас произвольный 'a
ΑZ
должно в этот момент падать
TK
Произвольный 'a сильнее 'static, он может быть вплоть до 'universal (существует вне зависимости от времени, или всегда). Проверка при вызове не делается, потому что 'a не совпадает со 'static, а 'static "особенный". И получается эдакий 'a переменной, неопределённой длины.
ΑZ
> Произвольный 'a сильнее 'static
нет
нет
ΑZ
очевидно
TK
Если бы производилось присвоение 'a = 'static, тогда проблема бы улетучилась
TK
Неочевидно
ΑZ
хотя мб у тебя может быть другое определение
ΑZ
'static "больше либо равен" любому 'a
TK
Сколько живёт 'static?
TK
Любому 'a, который можно получить в безопасном коде
ΑZ
не меньше любого другого лайфтайма
ΑZ
какая-то ерунда
TK
TK
Скажи это mem::transmute