320 using CorrectRange = test_concepts::range::Correct;  typedef
349     static_assert(can_call_imperative_preduce<CorrectRange, Correct<CorrectRange>>);  in test_preduce_body_constraints()
350     static_assert(!can_call_imperative_preduce<CorrectRange, NonSplittable<CorrectRange>>);  in test_preduce_body_constraints()
351     static_assert(!can_call_imperative_preduce<CorrectRange, NonDestructible<CorrectRange>>);  in test_preduce_body_constraints()
352 …  static_assert(!can_call_imperative_preduce<CorrectRange, NoOperatorRoundBrackets<CorrectRange>>);  in test_preduce_body_constraints()
353 …static_assert(!can_call_imperative_preduce<CorrectRange, WrongInputOperatorRoundBrackets<CorrectRa…  in test_preduce_body_constraints()
354     static_assert(!can_call_imperative_preduce<CorrectRange, NoJoin<CorrectRange>>);  in test_preduce_body_constraints()
355     static_assert(!can_call_imperative_preduce<CorrectRange, WrongInputJoin<CorrectRange>>);  in test_preduce_body_constraints()
360 …static_assert(can_call_functional_preduce<CorrectRange, int, Correct<CorrectRange>, CorrectReducti…  in test_preduce_func_constraints()
361 …static_assert(!can_call_functional_preduce<CorrectRange, int, NoOperatorRoundBrackets<CorrectRange…  in test_preduce_func_constraints()
362 …static_assert(!can_call_functional_preduce<CorrectRange, int, OperatorRoundBracketsNonConst<Correc…  in test_preduce_func_constraints()
363 …tatic_assert(!can_call_functional_preduce<CorrectRange, int, WrongFirstInputOperatorRoundBrackets<…  in test_preduce_func_constraints()
364 …tatic_assert(!can_call_functional_preduce<CorrectRange, int, WrongSecondInputOperatorRoundBrackets…  in test_preduce_func_constraints()
365 …static_assert(!can_call_functional_preduce<CorrectRange, int, WrongReturnOperatorRoundBrackets<Cor…  in test_preduce_func_constraints()
370 …static_assert(can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, Correct<in…  in test_preduce_combine_constraints()
371 …static_assert(!can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, NoOperato…  in test_preduce_combine_constraints()
372 …static_assert(!can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, OperatorR…  in test_preduce_combine_constraints()
373 …static_assert(!can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, WrongFirs…  in test_preduce_combine_constraints()
374 …static_assert(!can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, WrongSeco…  in test_preduce_combine_constraints()
375 …static_assert(!can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, WrongRetu…  in test_preduce_combine_constraints()
405     static_assert(can_call_imperative_pdet_reduce<CorrectRange, Correct<CorrectRange>>);  in test_pdet_reduce_body_constraints()
406     static_assert(!can_call_imperative_pdet_reduce<CorrectRange, NonSplittable<CorrectRange>>);  in test_pdet_reduce_body_constraints()
407     static_assert(!can_call_imperative_pdet_reduce<CorrectRange, NonDestructible<CorrectRange>>);  in test_pdet_reduce_body_constraints()
408 …static_assert(!can_call_imperative_pdet_reduce<CorrectRange, NoOperatorRoundBrackets<CorrectRange>…  in test_pdet_reduce_body_constraints()
409 …static_assert(!can_call_imperative_pdet_reduce<CorrectRange, WrongInputOperatorRoundBrackets<Corre…  in test_pdet_reduce_body_constraints()
410     static_assert(!can_call_imperative_pdet_reduce<CorrectRange, NoJoin<CorrectRange>>);  in test_pdet_reduce_body_constraints()
411     static_assert(!can_call_imperative_pdet_reduce<CorrectRange, WrongInputJoin<CorrectRange>>);  in test_pdet_reduce_body_constraints()
416 …static_assert(can_call_functional_pdet_reduce<CorrectRange, int, Correct<CorrectRange>, CorrectRed…  in test_pdet_reduce_func_constraints()
417 …static_assert(!can_call_functional_pdet_reduce<CorrectRange, int, NoOperatorRoundBrackets<CorrectR…  in test_pdet_reduce_func_constraints()
418 …tatic_assert(!can_call_functional_pdet_reduce<CorrectRange, int, OperatorRoundBracketsNonConst<Cor…  in test_pdet_reduce_func_constraints()
419 …c_assert(!can_call_functional_pdet_reduce<CorrectRange, int, WrongFirstInputOperatorRoundBrackets<…  in test_pdet_reduce_func_constraints()
420 …c_assert(!can_call_functional_pdet_reduce<CorrectRange, int, WrongSecondInputOperatorRoundBrackets…  in test_pdet_reduce_func_constraints()
421 …tic_assert(!can_call_functional_pdet_reduce<CorrectRange, int, WrongReturnOperatorRoundBrackets<Co…  in test_pdet_reduce_func_constraints()
426 …static_assert(can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, Correc…  in test_pdet_reduce_combine_constraints()
427 …static_assert(!can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, NoOpe…  in test_pdet_reduce_combine_constraints()
428 …static_assert(!can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, Opera…  in test_pdet_reduce_combine_constraints()
429 …static_assert(!can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, Wrong…  in test_pdet_reduce_combine_constraints()
430 …static_assert(!can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, Wrong…  in test_pdet_reduce_combine_constraints()
431 …static_assert(!can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, Wrong…  in test_pdet_reduce_combine_constraints()