Любые проблемы (в расте) решаются GAT
нет, бывают также нужны: 1. специализация 2. TAIT/RPITIT 3. generic const exprs 4. ADT const params 5. HKT (лол) как минимум
а HKT зачем если гаты есть?
``` F: for<'a> Fn(&'a T) -> Fut<'a>, Fut<'_>: Future + Send ```
Обсуждают сегодня