[ caching ] Print out the highlighting info of the decls not retypechecked