Это удобный способ инициализировать структуры и массивы, который уже есть в С99:
Person p = { .age = 18, .height=10, .weight = 5 };
int a[6] = { [4] = 29, [2] = 15 };

В книге Стандарты кодирования на С++ (Sutter, Alexandrescu) существует пример кода:
vector::iterator i = find_if( v.begin(), v.end(), _1 > x && _1 < y);
Сейчас это можно сделать через , кмк было бы хорошо иметь подобную возможность в stl.

Т.к. контейнеры в STL, задумывались для безопасного и удобного доступа к данным, мне кажется есть смысл разрешить данный случай конструктора. Чтобы не делать отдельную функцию проверки на случай если на вход пришла пустая строка из какой-то C-style библиотеки.

(void) foo(); как аналог auto __temp = foo(); (void)__temp;

Нужно меньше телодвижений для работы с ненативным порядком следования байтов

В С# пишут очень коротко "x => x", да и в других языках вроде rust не длинно получается. Хочется аналогичной короткой записи и в c++ для тривиальных функций.

compile-time проверка завершенности типа.

Типы с плавающей точкой нужны для того, чтобы 0.1+0.2 наконец-то было равно 0.3. FP типы нужны для корпоративных финансов (не путать с фин.мат.-ом), компьютерных игр, а еще они нужны для юнит-тестирования по вполне понятным причинам.

Числа четверной и половинной точности применяются хоть и не так часто, как double и float, но все-таки довольно полезны. В gcc есть __float128 и __fp16 (правда, только для ARM).

Добавление оператора . являющимся точкой следования

Я бы добавить конструкцию языка которая ограничивает видимость в блоке. Конструкция хоть и вспомогательная, но как строительные леса иногда полезная. Особенно где есть вложенные циклы и процветает copy&paste и другие чудеса.

Изменить видимость предекларированного перечисления (enum class/struct) в классе на видимость секции определения.