Document new constraints behavior in comments