error message

diverging implicit expansion for type org.scalacheck.Arbitrary[eu.timepit.refined.types.numeric.NonNegInt]
[error] starting with method arbTuple2 in trait ArbitraryArities

example.scala

package domain

import org.scalatest.prop.PropertyChecks
import org.scalatest.{FlatSpec, Matchers}
import eu.timepit.refined.api.Refined
import eu.timepit.refined.numeric.NonNegative
import eu.timepit.refined.types.numeric.NonNegInt
import eu.timepit.refined.scalacheck._
import org.scalacheck._

import enumeratum.scalacheck._
class ScalacheckExample extends FlatSpec with Matchers with PropertyChecks {
  behavior of "Example"

  forAll { (reportSuccess: Boolean, anyTimeLapsed: NonNegInt) =>
   true shouldBe true
  }
}