use constexpr on Range<T, TRAITS>::empty ()