We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
import implied
1 parent 39efcfa commit c2d782eCopy full SHA for c2d782e
tests/pos/reference/instances.scala
@@ -140,8 +140,10 @@ object Instances extends Common {
140
141
class Token(str: String)
142
143
- implied StringToToken for Conversion[String, Token] {
144
- def apply(str: String): Token = new Token(str)
+ object Token {
+ implied StringToToken for Conversion[String, Token] {
145
+ def apply(str: String): Token = new Token(str)
146
+ }
147
}
148
149
val x: Token = "if"
@@ -246,7 +248,8 @@ object Implicits extends Common {
246
248
247
249
object Test extends App {
250
Instances.test()
- import PostConditions._
251
+ import PostConditions.result
252
+ import implied PostConditions._
253
val s = List(1, 2, 3).sum
254
s.ensuring(result == 6)
255
0 commit comments