[all-commits] [llvm/llvm-project] 2d400d: [libcxx] contiguous iterator concept: don't requir...

[Joseph Loser via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2d400db63cfb3585fd5200e41f281447e3b6ca6a
      https://github.com/llvm/llvm-project/commit/2d400db63cfb3585fd5200e41f281447e3b6ca6a
  Author: Joe Loser <joeloser93 at gmail.com>
  Date:   2021-09-01 (Wed, 01 Sep 2021)

  Changed paths:
    M libcxx/include/__iterator/concepts.h
    M libcxx/test/std/iterators/iterator.requirements/iterator.concepts/iterator.concept.random.access/contiguous_iterator.compile.pass.cpp
    A libcxx/test/std/iterators/iterator.requirements/iterator.concepts/iterator.concept.random.access/contiguous_iterator.verify.cpp

  Log Message:
  -----------
  [libcxx] contiguous iterator concept: don't require pointer or complete element types

`contiguous_iterator` requires the iterator type passed is either a
pointer type or that the element type of the iterator is a complete
object type. These constraints are not part of the current wording in
defining the `contiguous_iterator` concept - adjust the concept to
reflect this.

Inspired from discussion at https://reviews.llvm.org/D108645.

Reviewed By: #libc, ldionne

Differential Revision: https://reviews.llvm.org/D108855