Так ты почему-то думаешь, что лаги, жор памяти и фризы — это из-за вот таких мелких неприятностей. А я думаю, что это проёбы в высокоуровневой логике. Если ты условно сортируешь отсортированное квиксортом — ты получишь минус к производительности вне зависимости от того, есть ли у тебя GC или нет. Концепция боттлнеков не просто так возникла.
Собсна поэтому я считаю что у D с этим идеально как раз. Пока пишешь высокоуровневую логику — не надо заниматься байтоеблей, а если выясняется что gc в паре мест — плоха, переписываешь в @nogc. Даже классы в nogc можно юзать, правда их придётся делать целиком nogc, да.