I was happy to discover that we already require raw pointers to be explicitly dereferenced in order to call methods on their contents, so this is wholly consistent with our current behavior.