If the contraint is not in the signature, and cannot trigger a test failure with typical implementation, it doesn't exist.