let children_len = sections_view.len();

                children_len,

    // TODO: only collecting to get `ExactSizeIterator` for `iced_nav_scrollable::view`, but the size can be determined from lengths of the two vecs
    let diffs: Vec<_> = diffs_with_contents

    let diffs = diffs_with_contents

        )
        .collect();

        );
    let diffs_len = diffs_with_contents.len() + diffs_without_contents.len();

                diffs.into_iter(),

                diffs,
                diffs_len,

    children: impl IntoIterator<Item = Element<'a, Message, Theme, Renderer>>
        + ExactSizeIterator,

    children: impl IntoIterator<Item = Element<'a, Message, Theme, Renderer>>,
    children_len: usize,

    debug_assert_eq!(nav.section_heights.len(), children.len(), "The `NavScrollable` was most likely initialized with a count different from the number of actual children given to the the view function. Count is {}, but got {} children", nav.section_heights.len(), children.len());

    debug_assert_eq!(nav.section_heights.len(), children_len, "The `NavScrollable` was most likely initialized with a count different from the number of actual children given to the the view function. Count is {}, but got {} children", nav.section_heights.len(), children_len);