The type can change it's import. For example it can move to a different directory. The document is not changed but the prototype is changed. We need to update the prototype in that case.