Lines Matching refs:CorrectBody
332 using CorrectBody = test_concepts::parallel_for_body::Correct<Range>; typedef
339 static_assert(can_call_range_pfor<Correct, CorrectBody<Correct>>); in test_pfor_range_constraints()
340 static_assert(!can_call_range_pfor<NonCopyable, CorrectBody<NonCopyable>>); in test_pfor_range_constraints()
341 static_assert(!can_call_range_pfor<NonSplittable, CorrectBody<NonSplittable>>); in test_pfor_range_constraints()
342 static_assert(!can_call_range_pfor<NonDestructible, CorrectBody<NonDestructible>>); in test_pfor_range_constraints()
343 static_assert(!can_call_range_pfor<NoEmpty, CorrectBody<NoEmpty>>); in test_pfor_range_constraints()
344 static_assert(!can_call_range_pfor<EmptyNonConst, CorrectBody<EmptyNonConst>>); in test_pfor_range_constraints()
345 static_assert(!can_call_range_pfor<WrongReturnEmpty, CorrectBody<WrongReturnEmpty>>); in test_pfor_range_constraints()
346 static_assert(!can_call_range_pfor<NoIsDivisible, CorrectBody<NoIsDivisible>>); in test_pfor_range_constraints()
347 static_assert(!can_call_range_pfor<IsDivisibleNonConst, CorrectBody<IsDivisibleNonConst>>); in test_pfor_range_constraints()
348 … static_assert(!can_call_range_pfor<WrongReturnIsDivisible, CorrectBody<WrongReturnIsDivisible>>); in test_pfor_range_constraints()