diff --git a/src/pal/pal_concept.h b/src/pal/pal_concept.h index 62cdc07..bebd130 100644 --- a/src/pal/pal_concept.h +++ b/src/pal/pal_concept.h @@ -80,6 +80,12 @@ namespace snmalloc { PAL::register_for_low_memory_callback(pno) } -> ConceptSame; }; + template + concept ConceptPAL_get_entropy64 = requires() + { + { PAL::get_entropy64() } -> ConceptSame; + }; + /** * PALs ascribe to the conjunction of several concepts. These are broken * out by the shape of the requires() quantifiers required and by any @@ -91,6 +97,8 @@ namespace snmalloc ConceptPAL_static_members && ConceptPAL_error && ConceptPAL_memops && + (!pal_supports || + ConceptPAL_get_entropy64) && (!pal_supports || ConceptPAL_mem_low_notify) && (pal_supports ||