SP
хз, может кодогенерит просто
Size: a a a
2021 April 17
2021 April 18
ΑZ
слушай, по-моему раст вполне юзабельный. Наверное там есть I-Unsound и прочие проблемы, в ишшуях в компилятора. Но in the wild не особо попадается по-моему
ΑZ
неплохо:)
ΑZ
чет нужен норм пример, не припомню там такого
ΑZ
я верю что есть пробелма, но не встречал нигде
TK
fake-static посмотри
ΑZ
он и назад видит
AN
Прикол в том что если в фейк Статик написать where то оно не компилируется уже.
AN
Вот на этом моменте у меня окончательно надежда понять ушла
TK
Ну, чуть-чуть видит :)
Половина информации должна быть всегда доступна
Половина информации должна быть всегда доступна
TK
То есть как минимум на одном из caller/callee side
ΑZ
по идее helper не должен компилиться без 'a : 'b
AN
Потому что я думал where там имплистит.
AN
Но получается фэйкисит какой то=)
TK
Там есть implied ограничение вида '_: '_, но '_ считается абсолютно любым и не проверяется по некой абсурдной причине из-за наличия 'static
ΑZ
он неявно выводит что 'b : 'a из того что &'a &'b, но не экспортит этот факт в сигнатуру, да
ΑZ
по крайней мере мне это так видится
ΑZ
хотя перечитал функцию и перестал понимать что происходит
ΑZ
fn helper<'a, 'b, T>(_: &'a &'b (), v: &'b T) -> &'a T { v }
pub fn make_static<'a, T>(input: &'a T) -> &'static T {
let f: fn(_, &'a T) -> &'static T = helper;
f(&&(), input)
}ΑZ
у нас есть &&()