TK
Есть, просто его не должно быть в системе типов безопасного раста, и тогда надо сделать заключение, как ты и сказал
Size: a a a
2021 April 18
AN
Получается есть некий 'universal которой субтип 'static?
TK
Чисто математически так получается, но вообще-то по-хорошему 'universal='static надо было везде вставить
ΑZ
ну покажите простой контрпример: код где в качестве лайфтайма 'a нельзя подставить 'static - и будет ошибка
TK
Но ссылки, живущие дольше 'static, не имеют смысла, а пример продемонстрирован fake-static
AN
Я тоже так подумал. и не понял какого фига это так.
AN
Ну и что. Это ничего не даёт. Там можно в фейк статик поставить вместо статик любой внешний дженерик.
ΑZ
в fake-static выводится 'static а не "лайфтайм дольше статик"
TK
Там не проверяется баунд на 'a, и 'a становится unbounded lifetime
AN
И просто получить функцию которая кастует лайфтаймы как скажешь. Не обязательно в статик. Из любого любой.
TK
Что позволяет делать с ним что угодно, в том числе сокращать до 'static
AN
Трипл фейспалм жпг
ΑZ
fn helper<'a, 'b, T>(_: &'a &'b (), v: &'b T) -> &'a T where 'a : 'b { v }ΑZ
проблема в том что этот код компилится, хотя в теории он в лучшем случае должен разрешать 'a = 'b
TK
Он не проверяется позже, так как 'b тоже unbounded
ΑZ
ну значит раст говно что сказать
ΑZ
генерики етсь генерики
ΑZ
может он и T не должен проверятЬ?
TK
Это косяк генериков, что тут поделаешь. Не проверили в одном месте и получили unsound.
ΑZ
речь о том что правильные баунды:
fn helper<'a, 'b, T>(_: &'a &'b (), v: &'b T) -> &'a T where 'b : 'a { v }