The pointer alias requirement is something we got rid of in our language (oxygene). We even allow defining method pointer types inline, though I wouldn't ever d

The pointer alias requirement is something we got rid of in our language (oxygene). We even allow defining method pointer types inline, though I wouldn't ever do that myself in a method signature, it's quite useful inside a structure, especially when doing com like or jni interop. Case insensitive, our compiler by default warns about mismatches between definition and use. Initialization is there, what I meant is that we don't have something where you define a static var inside a method body. You can of course make it implementation only or private which can severely limit the scope of what can access it.