P0857R0

Functionality gaps in constraints