Forall for T{}
struct Foo<T>(T);
struct Bar{x: Foo<Box<dyn Forall>>}
Это не значит что оно не нужно)
я и не говорила, что оно не нужно
Я не говорил что ты говорила с:
Я в курсе, да)
ну вот да
Ну для dyn Any же даункаст реализован, знач можно как-то)
через ансейф
Юнит тайп семантически эквивалентен экзистенциальному?
Нет, просто Box<dyn Forall> это не экзистенциальный тип.
Обсуждают сегодня