bbarker

val outer1: Outer[Any] = Outer.apply(in1)
// ❌ Found:    (Playground.in1 : Playground.Inner[String])
//    Required: Playground.Inner[Any]

bbarker

case class Inner[A](a: A)
case class Outer[A](a: Inner[A])

val in1 = Inner("foo")
val in2 = Inner(3)

// Doesn't work as we'd hoped
val outsFromInsAny: List[Outer[Any]] = List(in1, in2).map(Outer.apply)
// ❌ Found:    Playground.Inner[?1.CAP]
//    Required: Playground.Inner[Any]

bbarker

// These don't work, but why?
val u1 = funPoly(someStuffEx)
// ❌ Found:    (Playground.someStuffEx : List[Playground.SomeClass[?]])
//    Required: List[Playground.SomeClass[A]]
//    where:    A is a type variable
val u2 = funAny(someStuffEx)
// ❌ Found:    (Playground.someStuffEx : List[Playground.SomeClass[?]])
//    Required: List[Playground.SomeClass[Any]]

// This works fine

bbarker

case class SomeClass[A](a: A)

val someStuffAny: List[SomeClass[Any]] = List(SomeClass("foo"), SomeClass(1))
val someStuffEx:  List[SomeClass[?]]   = List(SomeClass("foo"), SomeClass(1))

def funPoly[A](ss: List[SomeClass[ A ]]): Unit = ()
def     funAny(ss: List[SomeClass[Any]]): Unit = ()
def      funEx(ss: List[SomeClass[ ? ]]): Unit = ()

bbarker

trait At
trait Bt extends At
trait Ct extends Bt
trait Dt extends Ct
trait Et extends Dt

val bcd: List[? <: Bt] = List(new Bt {}, new Ct {}, new Dt {})
val acd: List[? <: Bt] = List(new At {}, new Ct {}, new Dt {})
// ❌ Found:    Object with Playground.At {...}
//    Required: Playground.Bt

bbarker

val anythings1: List[Any] = List("foo", 3.14, new java.lang.Object)
val anythings2: List[?]   = List("foo", 3.14, new java.lang.Object)

bbarker

import com.softwaremill.diffx.{ConsoleColorConfig, Diff}
import zio.test.Assertion.Render.*
import zio.test.*

trait DiffxAssertions {

  val matchesToAssertionName = "matchesTo"

  /**
   * Just like isTrue from zio-test, but with a different name parameter

bbarker

import com.softwaremill.diffx.{ConsoleColorConfig, Diff}
import zio.UIO
import zio.test.AssertionM.Render.*
import zio.test.*

trait DiffxAssertionsM {

  val matchesToAssertionNameM = "matchesTo"

  /**

bbarker

"io.github.bbarker" %% "zio-diffx" % "0.0.5" % Test

bbarker

  resolvers ++= Seq(
    "jitpack.io" at "https://jitpack.io/",
  ),