validate

Validates the semantic invariants the type system can't catch. Throws IllegalStateException on the first violation with a message naming the offending field/value pair.