blob: 91d9fbcfa197a4a4f8c7eab1702554a3f2290e19 (
plain) (
blame)
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
|