[libcxx-commits] [libcxx] [libc++] Assert the element and range preconditions of list::splice and forward_list::splice_after (PR #232538)

[Ilyas Mallah via libcxx-commits]

ilyas-mallah wrote:

@philnik777 Is it fine that the forward_list::splice_after null checks only trap in extensive mode, while the list::splice checks trap in fast mode? The forward_list ones are NON_NULL, as in #120858. They could be VALID_INPUT_RANGE to trap in fast mode too.


https://github.com/llvm/llvm-project/pull/232538