Maybe I'm not phrasing it correctly, but I wanted to set the expectation that the stated behavior is guaranteed only if sym knows about the type since `sym.tpeHK` can also return `ClassInfoType`. See [REPL: intp.global vs "global" available in :power mode (ClassInfoType problem)
](https://groups.google.com/d/msg/scala-internals/fBLwvcjNGTc/9V-8kl7zue0J)