Example of how disjunction can be used:
Example of how disjunction can be used:
import com.datastax.spark.connector.util.MagicalTypeTricks._ def function[T](t: T)(implicit ev: (ᅫᄏ[T] <:< (Int ¬ネᆰ String))) = { println("t = " + t) } function(5) // t = 5 function("five") // t = five function(5d) // error: Cannot prove that // (Double => Nothing) => Nothing <:< Int => Nothing with String => Nothing => Nothing.
Based on this article.