刚性类型变量错误进行匹配

刚性类型变量错误进行匹配