无法在生成类型类实例时证明单例类型是单例类型

无法在生成类型类实例时证明单例类型是单例类型