B
да, НО, impl<State: BuilderAbc>
Size: a a a
2021 May 01
B
он поидее тайп инференс должен зашевелить
EG
Не, не прокатит, для этого поинтер должен всё-таки иметь function type по 6.3.2.1.4
AN
мы тут про типы говорим. там что в теле то пофиг.
EG
Госспади
EG
foo :: Int -> Int
foo _ = 5
AN
это что я должен был понять?)
B
а этот билдерабц может быть уже с парамом
B
О!
EG
impl usize {
fn foo(self) -> Self { 5 }
}EG
Вот тебе функция, которая принимает
self, возвращает Self и меняет значениеB
нам тут тайплевел нужен
B
просто он должен поидее смочь понять каким State должен быть шоб всем было хорошо
B
типа self -> Self это id только для тайпа
AN
B
это кому?
B
ладно, продолжим
B
этот State поидее должен работать как Index в hlist
B
селектор который
AN
ну чем в итоге должен стать State?