This DIP will need to detail how it does (and doesn't) interact with methods with the shared attribute on it, along with examples of the shared qualifier on a struct/class. As it stands, if I was to implement it, I could interpret the DIP to only affect globals.