Currently, a.k.a printing is closed by default.
(Sorry about all the boilerplate for adding config, I think I should probably add some tablegen magic to cover everything except Config.h)
One question is whether the setting should control hover specifically, or whether it covers "in places we print types" more generally. But it doesn't seem likely we'll make this configurable for diagnostics, and I don't have other examples. Most of our settings are per-feature. So I think this is right as it is.
I'd call this ShowAKA
(verb before its object; "show" is a little less jargony)
we should also add at least one test with it disabled
In the future, the AKA type can also be displayed in the signature help, but I don't know the best place for this option.（for now, it should be fine to put this setting in hover）
we've got a Style section actually, which might be more suitable for extensibility but I am also afraid of pushing ourselves into a corner by putting too much meaning into a boolean flag.
maybe we should just go with a command line flag until we figure out what to do here (as it's less invasive)?
I thought about style but the idea is that reflects coding style of the project, where this is really more of a user preference.
I'm a little skeptical whether we'll want this in sig help/completion (vs just being smarter about whether to desugar)
Command line flag is tempting but annoying to wire up. My favorite is probably what we have here