Implement -none constraint.

See #2092.