> think inferring a particular thing that is also called a type a bad idea.

What if the inference information was made available to the editor? One much-touted benefits of clang is all the compile-time information made easily accessible to the rest of the world.

A clang or GCC plugin could emit a ctags index file with the inferred types.