Хочу подчеркнуть пару моментов из последнего TWIR:
— allow using generic trait methods in const fn

Этот PR добавляет возможность использовать трейты в const fn!

Это часть реализации (ещё не принятого, ммм) RFC #2632, которое предлагает позволить такое:

impl const Add for MyInt {
    fn add(self, other: Self) -> Self {
        MyInt(self.0 + other.0)
    }
}

и такое:

const fn triple_add<T: Add<Output=T>>(a: T, b: T, c: T) -> T {
    a + b + c
}

Мне кажется что const требование на весь трейт слишком ограничивает, но впрочем другие варианты не лучше :(

В любом случае хорошо что работы в этом направлении ведутся.

— allow Trait inheritance with cycles on associated types

Фиксит старое странное поведение, которое заставляло писать

trait Sub: Super<<Self as Sub>::Assoc> {
type Assoc;
}

вместо

trait Sub: Super<Self::Assoc> {
type Assoc;
}

Примеры применения:
"Мы выпили всю водку перед праздником";
"Они зафакапили мой проект";
"Я побил пятерых гопников";
"Мы обыграли Испанию в 1/8 финала ЧМ"

Напиши, что можно выбрать несколько вариантов

аэаыаааээммммааааыэамм

Мысли в слух: если <[_]>::len() не может быть > isize::MAX as _, то мы теряем ½ битов в пустую

*½ значений/1 бит

опять вафель байтоёбствует ну что такое

Мысли в слух: моя главная ошибка — я слишком много распыляюсь

libstdc++ не даёт мне поспать

Илья как обычно говорит интересные и правильные вещи

optozorax_dev/266

Думаю мне тоже стоит подобное устроить

слово дня: а