Compile-time tests for types to make sure types don't regress into being overly permissive as changes go in over time.