#10072. Fixed filtering_stream::size() is not const.