[ 类型检查器 ] 当文件声明零个非常量实体时,文件级属性注释不会进行类型检查

描述错误

在声明文件属性时，类型检查器应确保属性类存在且构造函数参数类型检查正确。如果文件未声明任何实体，或者声明的所有实体都是顶层常量声明，则不会进行此检查。