Clarification on parameter constraints

There is not much information on parameter constraints in the documentation. Is there an expected behavior if a constraint is not fulfilled, especially if the parameter value is an expression or changed by a parameter value distribution? Must or should a parameter value distribution take the constraints into account?