Takes this to another degree for .Net. Enables deeper static analysis to catch more programming errors before runtime.