Correct me if I&#x27;m wrong here, but those things have to be done at the CLR level anyway. Otherwise the compiler couldn&#x27;t warn about wrong usage of method declarations in external libraries (as one example in the proposal shows). For that to work the types or parameters would need to be atributed in some way in the IL. And then it&#x27;s not only a C# compiler feature anymore.