The full thing would be an example of property based testing, I believe, based on the property "the compiler doesn't crash".