@@ -151,9 +151,11 @@ class SemiSpec extends Specification {
151
151
result1 must not(beEqualTo(result2))
152
152
}
153
153
154
+ @ Semi (cats.Functor ) final case class TestFunctor [A ](a : A , b : A )
154
155
" generate for cats.Functor" in {
155
156
// given
156
- @ Semi (cats.Functor ) final case class TestFunctor [A ](a : A , b : A )
157
+ // test class moved outside as a workaround for error in 2.11:
158
+ // can't existentially abstract over parameterized type TestFunctor[String]
157
159
158
160
// when
159
161
val result1 = TestFunctor (" 1" , " 3" ).map(_.toInt)
@@ -181,9 +183,11 @@ class SemiSpec extends Specification {
181
183
result2 must beEqualTo(2 )
182
184
}
183
185
186
+ @ Semi (cats.Traverse ) final case class TestTraverse [A ](a : A )
184
187
" generate for cats.Traverse" in {
185
188
// given
186
- @ Semi (cats.Traverse ) final case class TestTraverse [A ](a : A )
189
+ // test class moved outside as a workaround for error in 2.11:
190
+ // can't existentially abstract over parameterized type TestTraverse[Int]
187
191
188
192
// when
189
193
val result1 = TestTraverse (Option (" 1" )).sequence
@@ -264,9 +268,11 @@ class SemiSpec extends Specification {
264
268
result2 must beEqualTo(TestSemi (" ba" ))
265
269
}
266
270
271
+ @ Semi (cats.SemigroupK , cats.Eq ) final case class TestSemiK [A ](a : List [A ])
267
272
" generate for cats.SemigroupK" in {
268
273
// given
269
- @ Semi (cats.SemigroupK , cats.Eq ) final case class TestSemiK [A ](a : List [A ])
274
+ // test class moved outside as a workaround for error in 2.11:
275
+ // can't existentially abstract over parameterized type TestSemiK[String]
270
276
271
277
// when
272
278
implicit val a = cats.SemigroupK [TestSemiK ].algebra[String ]
@@ -278,9 +284,11 @@ class SemiSpec extends Specification {
278
284
result2 must beEqualTo(TestSemiK (List (" b" , " a" )))
279
285
}
280
286
287
+ @ Semi (alleycats.Empty ) final case class TestEmpty [A ](a : A )
281
288
" generate for alleycats.Empty" in {
282
289
// given
283
- @ Semi (alleycats.Empty ) final case class TestEmpty [A ](a : A )
290
+ // test class moved outside as a workaround for error in 2.11:
291
+ // can't existentially abstract over parameterized type TestEmpty[String]
284
292
285
293
// when
286
294
val result = alleycats.Empty [TestEmpty [String ]].empty
0 commit comments