1. An execution engine comprising: an input component that receives a program executable; and, a variance verification component that dynamically determines whether a value associated with a generic type identified as requiring variance verification within the program executable complies with the variance verification requirement, the variance verification component providing error information if it the value does not comply with the variance verification requirement.