Demonstrate a type constraint crash

It’s magnificent.