isAny() doesn't check the type

[glureau]

interface A
interface B : A
class Foo {
  fun consume(a: A) { println(a) }
}
// in tests
@Test fun testMe() {
  val mockFoo = MockFoo()
  mockFoo.consume(object: A {})
  verify { mockFoo.consume(isAny<A>()) }
  // is equivalent to 
  verify { mockFoo.consume(isAny<B>()) }
  // and both will be pass even if the param is not an instance of B
}

I expect the check isAny<B>() to fail when an instance that doesn't implement B is used.

I think isAny() should check the type instead of returning Success all the time, something like

    inline fun <reified T> isAny(capture: MutableList<T>? = null): ArgConstraint<T> =
        ArgConstraint(capture, "isAny") { if (it is T) ArgConstraint.Result.Success else ArgConstraint.Result.Failure({ "..." }) }

(An alternative could be to provide a isInstanceOf<T>() next to isAny() if we don't want to change the current behavior.)

[glureau]

I used isValid {} as a workaround, it's not a blocker, but I was surprise by the current behavior.

[SalomonBrys]

isAny always returns true because everything is Any in Kotlin.
I'll introduce isInstanceOf

[SalomonBrys]

1.4.0 introduces the isInstanceOf constraint.