P1141R2

Yet another approach for constrained declarations