I am not too experienced with Typescript, however I am under the impression that if the declared types are correct, they should match the runtime structure of the objects they are describing. I am refactoring a Vue codebase (and migrating it to typescript) where the Vue component definition is modified after importing it from an SFC.