diff --git a/xml/issue3855.xml b/xml/issue3855.xml index 97ea1b783c..768453d9c7 100644 --- a/xml/issue3855.xml +++ b/xml/issue3855.xml @@ -143,11 +143,11 @@ namespace std::ranges { [Drafting note: We can't use if constexpr (ranges::size(i_.parent_->pattern_) == 0) here because it is not a constant expression, and it seems more intuitive to just use -ranges::empty which is always well-formed. Note that the PR does not seek the -aggressive optimization that minimizes the instantiation as this is not the intent of the -current design (for example, outer-iterator& operator++() can be -specialized for the case where Pattern::size() == 0), library implementations -are free to optimize as it pleases.] +ranges::empty combined with runtime if which is always well-formed. +Note that the PR does not seek the aggressive optimization that minimizes the instantiation as this is +not the intent of the current design (for example, outer-iterator& operator++() +can be specialized for the case where Pattern::size() == 0 to save some O(1) comparisons), +library implementations are free to optimize as it pleases.]