报告推断类型与常量的预期类型不匹配的常量赋值。 预期的常量类型取自 RBS 类型签名。