За время работы над кодесом для авторского поста я уже успел мысленно поругаться на:
- отсутствие 
inline const блоков
- невозможность навесить ограничения на обобщённые типы в const fn
- отсутствие const fn в трейтах
- невозможность написать в const fn 
arr[i] = elem;, если элементы массива реализуют 
Drop
- невозможность опустить длину в описании типа массива
- отсутствие 
typeof!