Merge pull request #261 from alexandru/remove-law

Remove EffectLaws.runSyncStepAsyncNeverProducesLeftPureIO
typelevel · Jun 2, 2018 · 06cf793 · 06cf793
2 parents 4c8120d + 0420e3b
commit 06cf793
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/laws/shared/src/main/scala/cats/effect/laws/EffectLaws.scala b/laws/shared/src/main/scala/cats/effect/laws/EffectLaws.scala
@@ -53,10 +53,6 @@ trait EffectLaws[F[_]] extends AsyncLaws[F] {
     F.runSyncStep(F.async[A](k)) <-> IO.pure(Left(F.async[A](k)))
   }
 
-  def runSyncStepAsyncNeverProducesLeftPureIO[A] = {
-    F.runSyncStep(F.never[A]) <-> IO.pure(Left(F.never[A]))
-  }
-
   def runSyncStepCanBeAttemptedSynchronously[A](fa: F[A]) = {
     Either.catchNonFatal(F.runSyncStep(fa).attempt.unsafeRunSync()).isRight
   }

diff --git a/laws/shared/src/main/scala/cats/effect/laws/discipline/EffectTests.scala b/laws/shared/src/main/scala/cats/effect/laws/discipline/EffectTests.scala
@@ -67,7 +67,6 @@ trait EffectTests[F[_]] extends AsyncTests[F] {
         "runAsync ignores error in handler" -> forAll(laws.runAsyncIgnoresErrorInHandler[A] _),
         "runSyncStep suspend pure produces the same" -> forAll(laws.runSyncStepSuspendPureProducesTheSame[A] _),
         "runSyncStep async produces left pure IO" -> forAll(laws.runSyncStepAsyncProducesLeftPureIO[A] _),
-        "runSyncStep async never produces left pure IO" -> Prop.lzy(laws.runSyncStepAsyncNeverProducesLeftPureIO[A]),
         "runSyncStep can be attempted synchronously" -> forAll(laws.runSyncStepCanBeAttemptedSynchronously[A] _),
         "runSyncStep runAsync consistency" -> forAll(laws.runSyncStepRunAsyncConsistency[A] _),
         "repeated callback ignored" -> forAll(laws.repeatedCallbackIgnored[A] _),