1 2 3 4 5 6 7 8 9 10
t4271.scala:9: error: value to is not a member of Int 3 to 5 ^ t4271.scala:10: error: value ensuring is not a member of Int 5 ensuring true ^ t4271.scala:11: error: value -> is not a member of Int 3 -> 5 ^ three errors found