T1
уверен знаком с ними более чем
Size: a a a
2020 August 13
T1
расту нужна конравариантность на borrow
T1
вот что решает мою проблему
T1
но пока увы это невозможно, ибо придётся менять очень много из части языка как я понимаю
AT
расту нужна конравариантность на borrow
Можно поподробнее, пожалуйста? 😊
AZ
Можно поподробнее, пожалуйста? 😊
что Cow<'a> коэрсится в Cow<'b> если 'a : 'b
AZ
расту нужна конравариантность на borrow
пробелма в том что вариантность имеет разную направленность в зависимости от того стоит Cow в параметрах или в результатах
AZ
для таких типов её сделать невозможно
Ct
что Cow<'a> коэрсится в Cow<'b> если 'a : 'b
Но это же unsound.
Ct
А, вейт. Я в другую сторону прочитал.
AZ
ну в общем можешь в оффтоп зайти посмотреть на драму тони с коровой
T1
что Cow<'a> коэрсится в Cow<'b> если 'a : 'b
наоборот же лол
T1
Но это же unsound.
это называется контравариантность
Ct
наоборот же лол
Наоборот будет unsound. Нельзя из меньшего лайфтайма в больший кастовать
P
наоборот же лол
стоп, почему наоборот?
T1
Наоборот будет unsound. Нельзя из меньшего лайфтайма в больший кастовать
нет, я же говорю это называется контравариантость
Ct
нет, я же говорю это называется контравариантость
Называй как хочешь, но корректным от этого оно не станет.
Э
Наоборот будет unsound. Нельзя из меньшего лайфтайма в больший кастовать
'a: 'b — 'a тут меньший, не?T1
Называй как хочешь, но корректным от этого оно не станет.
блядь