314 using CorrectBody = test_concepts::parallel_reduce_body::Correct<Range>;  typedef
324     static_assert(can_call_imperative_preduce<Correct, CorrectBody<Correct>>);  in test_preduce_range_constraints()
325     static_assert(!can_call_imperative_preduce<NonCopyable, CorrectBody<NonCopyable>>);  in test_preduce_range_constraints()
326     static_assert(!can_call_imperative_preduce<NonDestructible, CorrectBody<NonDestructible>>);  in test_preduce_range_constraints()
327     static_assert(!can_call_imperative_preduce<NonSplittable, CorrectBody<NonSplittable>>);  in test_preduce_range_constraints()
328     static_assert(!can_call_imperative_preduce<NoEmpty, CorrectBody<NoEmpty>>);  in test_preduce_range_constraints()
329     static_assert(!can_call_imperative_preduce<EmptyNonConst, CorrectBody<EmptyNonConst>>);  in test_preduce_range_constraints()
330     static_assert(!can_call_imperative_preduce<WrongReturnEmpty, CorrectBody<WrongReturnEmpty>>);  in test_preduce_range_constraints()
331     static_assert(!can_call_imperative_preduce<NoIsDivisible, CorrectBody<NoIsDivisible>>);  in test_preduce_range_constraints()
332     static_assert(!can_call_imperative_preduce<IsDivisibleNonConst, CorrectBody<NoIsDivisible>>);  in test_preduce_range_constraints()
333 …static_assert(!can_call_imperative_preduce<WrongReturnIsDivisible, CorrectBody<WrongReturnIsDivisi…  in test_preduce_range_constraints()
380     static_assert(can_call_imperative_pdet_reduce<Correct, CorrectBody<Correct>>);  in test_pdet_reduce_range_constraints()
381     static_assert(!can_call_imperative_pdet_reduce<NonCopyable, CorrectBody<NonCopyable>>);  in test_pdet_reduce_range_constraints()
382     static_assert(!can_call_imperative_pdet_reduce<NonDestructible, CorrectBody<NonDestructible>>);  in test_pdet_reduce_range_constraints()
383     static_assert(!can_call_imperative_pdet_reduce<NonSplittable, CorrectBody<NonSplittable>>);  in test_pdet_reduce_range_constraints()
384     static_assert(!can_call_imperative_pdet_reduce<NoEmpty, CorrectBody<NoEmpty>>);  in test_pdet_reduce_range_constraints()
385     static_assert(!can_call_imperative_pdet_reduce<EmptyNonConst, CorrectBody<EmptyNonConst>>);  in test_pdet_reduce_range_constraints()
386 …  static_assert(!can_call_imperative_pdet_reduce<WrongReturnEmpty, CorrectBody<WrongReturnEmpty>>);  in test_pdet_reduce_range_constraints()
387     static_assert(!can_call_imperative_pdet_reduce<NoIsDivisible, CorrectBody<NoIsDivisible>>);  in test_pdet_reduce_range_constraints()
388 …  static_assert(!can_call_imperative_pdet_reduce<IsDivisibleNonConst, CorrectBody<NoIsDivisible>>);  in test_pdet_reduce_range_constraints()
389 …static_assert(!can_call_imperative_pdet_reduce<WrongReturnIsDivisible, CorrectBody<WrongReturnIsDi…  in test_pdet_reduce_range_constraints()