[all-commits] [llvm/llvm-project] bcf172: [libc++] LWG 3821 uses_allocator_construction_args...

[Hui via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bcf172ec578a2a787de45858871e59fd64f7b196
      https://github.com/llvm/llvm-project/commit/bcf172ec578a2a787de45858871e59fd64f7b196
  Author: Hui <hui.xie0621 at gmail.com>
  Date:   2023-10-09 (Mon, 09 Oct 2023)

  Changed paths:
    M libcxx/docs/Status/Cxx23Issues.csv
    M libcxx/include/__memory/uses_allocator_construction.h
    M libcxx/include/__utility/pair.h
    M libcxx/include/memory
    M libcxx/test/std/depr/depr.numeric.imits.has.denorm/deprecated.verify.cpp
    A libcxx/test/std/ranges/range.utility/range.subrange/operator.pair_like.pass.cpp
    M libcxx/test/std/utilities/memory/allocator.uses/allocator.uses.construction/uses_allocator_construction_args.pass.cpp
    M libcxx/test/std/utilities/utility/pairs/pairs.pair/ctor.pair_like.pass.cpp
    M libcxx/utils/data/ignore_format.txt

  Log Message:
  -----------
  [libc++] LWG 3821 uses_allocator_construction_args should have overload for pair-like (#66939)

This change addresses LWG 3821 and LWG 3677.

- make `std::pair`'s constructor no longer takes `subrange`
- `uses_allocator_construction_args` constraint changes w.r.t to
`pair-like` types
- `uses_allocator_construction_args` constraints checks
`is-pair-like<remove_cv_t<T>>`