Lines Matching refs:CorrectBody

416 using CorrectBody = test_concepts::parallel_scan_body::Correct<Range>;  typedef
426     static_assert(can_call_imperative_pscan<Correct, CorrectBody<Correct>>);  in test_pscan_range_constraints()
427     static_assert(!can_call_imperative_pscan<NonCopyable, CorrectBody<NonCopyable>>);  in test_pscan_range_constraints()
428     static_assert(!can_call_imperative_pscan<NonDestructible, CorrectBody<NonDestructible>>);  in test_pscan_range_constraints()
429     static_assert(!can_call_imperative_pscan<NonSplittable, CorrectBody<NonSplittable>>);  in test_pscan_range_constraints()
430     static_assert(!can_call_imperative_pscan<NoEmpty, CorrectBody<NoEmpty>>);  in test_pscan_range_constraints()
431     static_assert(!can_call_imperative_pscan<EmptyNonConst, CorrectBody<EmptyNonConst>>);  in test_pscan_range_constraints()
432     static_assert(!can_call_imperative_pscan<WrongReturnEmpty, CorrectBody<WrongReturnEmpty>>);  in test_pscan_range_constraints()
433     static_assert(!can_call_imperative_pscan<NoIsDivisible, CorrectBody<NoIsDivisible>>);  in test_pscan_range_constraints()
434 …  static_assert(!can_call_imperative_pscan<IsDivisibleNonConst, CorrectBody<IsDivisibleNonConst>>);  in test_pscan_range_constraints()
435 …static_assert(!can_call_imperative_pscan<WrongReturnIsDivisible, CorrectBody<WrongReturnIsDivisibl…  in test_pscan_range_constraints()