Scalacheck道具类型不匹配

Question

我偶然遇到过这个错误。它是非常自我解释的，不匹配来自我的ans var，这是一个Int，因为我认为它应该是，但它需要类型道具。我感觉它与语法有关，我正在构建它的方式，但让我知道你的想法：

Answer 1

蕴涵运算符的签名是：

def ==>(p: ⇒ Prop): Prop 

假设隐式转换在范围内，应该可以从Prop构造Boolean。因此，您只需要(ans == n*m)左右的括号。否则，==>的参数将只是ans，即Int，无法转换为Prop。

所需的隐式转换是：

 implicit def propBoolean(b: Boolean): Prop

并且在对象Prop中，因此请确保import org.scalacheck.Prop.propBoolean。