代码搜索：Check
找到约 10,000 项符合「Check」的源代码
代码结果 10,000
www.eeworm.com/read/305277/3778931
check patternalts.check
patternalts.scala:3: error: illegal variable in pattern alternative
case List(x) | List() => Console.println(x)
^
one error found
www.eeworm.com/read/305277/3778945
check structural.check
structural.scala:3: error: illegal dependent method type
def f(x: { type D; def m: D }) = x.m
^
structural.scala:10: error: Parameter type in structural refinement may not refer to abstract
www.eeworm.com/read/305277/3778949
check accesses.check
accesses.scala:23: error: error overriding method f2 in class A of type => unit;
method f2 has weaker access privileges; it should not be private
private def f2: unit = ()
^
accesses.
www.eeworm.com/read/305277/3778971
check patmatexhaust.check
patmatexhaust.scala:7: warning: match is not exhaustive!
missing combination Baz
def ma1(x:Foo) = x match {
^
patmatexhaust.scala:11: warning: match is not exhaust
www.eeworm.com/read/305277/3778984
check lazyvals.check
lazyvals.scala:6: error: lazy values may not be abstract
lazy val t: Int
^
lazyvals.scala:9: error: lazy not allowed here. Only vals can be lazy
lazy var p: Int = 100
^
lazyvals.
www.eeworm.com/read/305277/3778992
check abstract.check
abstract.scala:6: error: type mismatch;
found : A
required: A.this.T
def foo2: T = bar().baz();
^
abstract.scala:9: error: type mismatch;
found : A
required: A.this.T
www.eeworm.com/read/305277/3779003
check forward.check
forward.scala:6: error: forward reference extends over definition of value x
def f: int = x;
^
forward.scala:10: error: forward reference extends over definition of value x
de
www.eeworm.com/read/305277/3779017
check nopredefs.check
nopredefs.scala:5: error: not found: value Set
val y = Set(3)
^
one error found
www.eeworm.com/read/305277/3779030
check lubs.check
lubs.scala:11: error: type mismatch;
found : test1.A[test1.A[test1.A[Any]]]
required: test1.A[test1.A[test1.A[test1.A[Any]]]]
val x4: A[A[A[A[Any]]]] = f
^
lubs.scala
www.eeworm.com/read/305277/3779040
check saito.check
saito.scala:10: error: class A cannot be instantiated because it does not conform to its self-type A with B
val a: A = new A; // should not be allowed
^
one error found