test/files/neg/t4271.check


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