Do these loops actually optimise out for non-dtor types?