Backport of some concepts from util to C++17#1741

Draft

gpicciuca wants to merge 8 commits intoad-freiburg:masterfrom gpicciuca:cpp17-concepts-backport-2

+1,299-805

Commits on Jan 31, 2025

Commits on Feb 5, 2025

Commits on Feb 6, 2025

Commits on Feb 7, 2025

Bring this back to compilation
joka921
committed