Lines Matching refs:Correct

314 using CorrectBody = test_concepts::parallel_reduce_body::Correct<Range>;
317 using CorrectFunc = test_concepts::parallel_reduce_function::Correct<Range>;
319 using CorrectReduction = test_concepts::parallel_reduce_combine::Correct<int>;
320 using CorrectRange = test_concepts::range::Correct;
324     static_assert(can_call_imperative_preduce<Correct, CorrectBody<Correct>>);  in test_preduce_range_constraints()
335 …  static_assert(can_call_functional_preduce<Correct, int, CorrectFunc<Correct>, CorrectReduction>);  in test_preduce_range_constraints()
349     static_assert(can_call_imperative_preduce<CorrectRange, Correct<CorrectRange>>);  in test_preduce_body_constraints()
360 …static_assert(can_call_functional_preduce<CorrectRange, int, Correct<CorrectRange>, CorrectReducti…  in test_preduce_func_constraints()
370 …static_assert(can_call_functional_preduce<CorrectRange, int, CorrectFunc<CorrectRange>, Correct<in…  in test_preduce_combine_constraints()
380     static_assert(can_call_imperative_pdet_reduce<Correct, CorrectBody<Correct>>);  in test_pdet_reduce_range_constraints()
391 …static_assert(can_call_functional_pdet_reduce<Correct, int, CorrectFunc<Correct>, CorrectReduction…  in test_pdet_reduce_range_constraints()
405     static_assert(can_call_imperative_pdet_reduce<CorrectRange, Correct<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()
426 …ssert(can_call_functional_pdet_reduce<CorrectRange, int, CorrectFunc<CorrectRange>, Correct<int>>);  in test_pdet_reduce_combine_constraints()