This benchmark compares the overhead of a auto-created type constraint vs. none at all vs. a custom-created type.