This is an open-ended discussion for enhancements to the CLR that is required to accommodate new features that cannot be implemented on the current runtime or by the compiler.

As with PEVerify, enhancements should be categorized as MD (metadata) or IL.

An example of such a CLR enhancement would be variadic generic type parameters for optimal dispatching and verification.

A hypothetical pondering thought: https://gist.github.com/leppie/f9c773ea0d69459d7021 (I dont see this happening any time soon)