代码搜索:Check

找到约 10,000 项符合「Check」的源代码

代码结果 10,000
www.eeworm.com/read/305277/3779046

check overload.check

overload.scala:10: error: erroneous reference to overloaded definition, most specific definition is: method f in class C of type (int)Unit, yet alternative definition method f in class D of type (An
www.eeworm.com/read/305277/3779047

check variances.check

variances.scala:4: error: covariant type A occurs in contravariant position in type test.Vector[A] of value x def append(x: Vector[A]): Vector[A] ^ variances.scala:14: error: covariant
www.eeworm.com/read/305277/3779052

check mixins.check

mixins.scala:9: error: illegal inheritance; superclass C is not a subclass of the superclass B of the mixin trait M class D extends C with M ^ one error found
www.eeworm.com/read/305277/3779061

check viewtest.check

viewtest.scala:43: error: type mismatch; found : List[a(in method compareTo)] required: List[a(in method view3)] case y1: List[a] => compareLists(x, y1)
www.eeworm.com/read/305277/3779087

check sensitive.check

sensitive.scala:17: error: constructor Sensitive cannot be accessed in object Attacker val y = new Sensitive() ^ one error found
www.eeworm.com/read/305277/3779104

check checksensible.check

checksensible.scala:1: error: class Test needs to be abstract, since method isabstract is not defined class Test { ^ checksensible.scala:3: warning: comparing values of types Ordered[Unit] and U
www.eeworm.com/read/305277/3779105

check typeerror.check

typeerror.scala:6: error: type mismatch; found : Long(in method add) required: Long(in package scala) else add2(x.head, y.head) :: add(x.tail, y.tail) ^ one error found
www.eeworm.com/read/305277/3779113

check implicits.check

implicits.scala:21: error: type mismatch; found : Pos required: ?{val +: ?} Note that implicit conversions are not applicable because they are ambiguous: most specific definition is: method pos2i
www.eeworm.com/read/305277/3779122

check second.check

My second argument is arg2
www.eeworm.com/read/305277/3779125

check fact.check

fact(5) = 120