Yep. The IDE could resolve types (with the help of the compiler, perhaps), and tell you what the code you wrote actually does.