报告推断类型与形参的预期类型不匹配的默认方法和块形参赋值。 预期的形参类型取自 RBS 类型签名。