Skip to content

US296 24.07.11.3 Converting constructor for split_view::outer_iterator is slightly wrong #292

@wg21bot

Description

@wg21bot

split_view::outer_iterator converting constructor is slightly wrong. In split_view::outer_iterator<V, Pattern>, when V is not const-iterable, we must avoid forming the type iterator_t since it will fail to compile.

Proposed change:
For the converting constructor:

constexpr outer_iterator(outer_iterator<!Const> i)
  requires Const && ConvertibleTo<iterator_t<V>, iterator_t<const V>>;

change the requirement to:

  requires Const && ConvertibleTo<iterator_t<V>, iterator_t<Base>>;

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions