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 4bc831c commit 0bcc75fCopy full SHA for 0bcc75f
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