SubtractableTestSpec.scala

import org.specs2.matcher.MatchResult
import org.specs2.mutable.Specification

import scala.collection.mutable

class SubtractableTestSpec extends Specification {

  "pass short circuit if not timed out" in {
    val a: MatchResult[String] = "test" ==== "test"
    val b: MatchResult[mutable.Buffer[Int]] = mutable.ArrayBuffer.empty[Int] must beEmpty
    val c: MatchResult[Set[String]] = Set.empty[String] must beEmpty

    val ab = a and b // compiles
    val ac = a and c // compiles
    val ba = b and a // compiles
    val bc = b and c // fails
    val ca = c and a // compiles
    val cb = c and b // fails

    val abc = a and b and c // compiles
    val acb = a and c and b // compiles
    val bac = b and a and c // compiles
    val bca = b and c and a // fails
    val cab = c and a and b // compiles
    val cba = c and b and a // fails

    // instead of re-arranging the tests, prefixing with `ok` also seems to be a valid workaround
    val ok_bc = ok and b and c // compiles
    val ok_cb = ok and c and b // compiles
    val ok_bca = ok and b and c and a // compiles
    val ok_cba = ok and c and b and a // compiles

    abc
  }
}

/*
[error] SubtractableTestSpec.scala:16:9: type arguments [?,Iterable[Any] with Int with String => AnyVal with scala.collection.generic.Subtractable[_ >: Int with String, Iterable[Any] with Int with String => AnyVal with scala.collection.generic.Subtractable[_ >: Int with String, Equals]]{def seq: Iterable[Any] with Int with String => AnyVal}] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]
[error]     val bc = b and c // fails
[error]         ^
[error] SubtractableTestSpec.scala:16:16: type arguments [?,Iterable[Any] with Int with String => AnyVal with scala.collection.generic.Subtractable[_ >: Int with String, Iterable[Any] with Int with String => AnyVal with scala.collection.generic.Subtractable[_ >: Int with String, Equals]]{def seq: Iterable[Any] with Int with String => AnyVal}] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]
[error]     val bc = b and c // fails
[error]                ^
[error] SubtractableTestSpec.scala:18:9: type arguments [?,Iterable[Any] with String with Int => AnyVal with scala.collection.generic.Subtractable[_ >: String with Int, Iterable[Any] with String with Int => AnyVal with scala.collection.generic.Subtractable[_ >: String with Int, Equals]]{def seq: Iterable[Any] with String with Int => AnyVal}] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]
[error]     val cb = c and b // fails
[error]         ^
[error] SubtractableTestSpec.scala:18:16: type arguments [?,Iterable[Any] with String with Int => AnyVal with scala.collection.generic.Subtractable[_ >: String with Int, Iterable[Any] with String with Int => AnyVal with scala.collection.generic.Subtractable[_ >: String with Int, Equals]]{def seq: Iterable[Any] with String with Int => AnyVal}] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]
[error]     val cb = c and b // fails
[error]                ^
[error] SubtractableTestSpec.scala:23:17: type arguments [?,Iterable[Any] with Int with String => AnyVal with scala.collection.generic.Subtractable[_ >: Int with String, Iterable[Any] with Int with String => AnyVal with scala.collection.generic.Subtractable[_ >: Int with String, Equals]]{def seq: Iterable[Any] with Int with String => AnyVal}] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]
[error]     val bca = b and c and a // fails
[error]                 ^
[error] SubtractableTestSpec.scala:25:17: type arguments [?,Iterable[Any] with String with Int => AnyVal with scala.collection.generic.Subtractable[_ >: String with Int, Iterable[Any] with String with Int => AnyVal with scala.collection.generic.Subtractable[_ >: String with Int, Equals]]{def seq: Iterable[Any] with String with Int => AnyVal}] do not conform to trait Subtractable's type parameter bounds [A,+Repr <: scala.collection.generic.Subtractable[A,Repr]]
[error]     val cba = c and b and a // fails
[error]                 ^
[error] 6 errors found
*/