1 2 3 4
bug520.scala:8: error: overloaded method verifyKeyword needs result type verifyKeyword("", source, pos); ^ one error found