You're right, it won't type check. This printer uses simple names, but a more advanced printer might take into account a context/imports, and remove only useless prefixes instead of all prefixes.

However, even if we had the more advanced printer, I still think this printer is the better user-experience: it's very easy to automatically add import (quick-fix), while there is no way to strip the prefix. This makes "implement abstract member" and "add explicit return type" quite annoying to use.

A second use of this printer would be for the outline view, where fully-qualified names dwarf useful information.

What do you think?