implement Testable for Fn*

[burntsushi]

implement Testable for Fn*

[BurntSushi]

Errm, try: quickcheck(prop as fn(Vec<i32>) -> bool).

[BurntSushi]

As far as I can tell, this is just never going to work. See rust-lang/rust#25041 for more discussion, where it seems to me the issue has been interpreted as "confusing" rather than a bug to fix. Some reasons are given but I don't quite understand them. I don't see any movement to resolve it, so after half a decade, I'm giving up and calling this wontfix.

I would very much love to make quickcheck work with closures though. So if there are any fresh ideas, we can re-open is this issue.

[abr-egn]

That does work, thank you. I'm a bit baffled that it's required since it's trivially inferrable type information...

[BurntSushi]

I'm pretty sure it's a known bug, but I can't find it in the Rust issue tracker at the moment. I think this happened when Rust moved everything over to unboxed closures. Unfortunately, I can't remember why this happens.

[tomjakubowski]

The PR that introduced this, I think, is rust-lang/rust#19891. I too remember seeing something that indicated this coercion is supposed to exist at some point but can't find it either.

[milibopp]

Afaik, functions now implement the Fn(…) -> … traits. So I think it would actually be cleaner if quickcheck would impl<F: Fn(…) -> …> Testable for F instead of coercing to a trait object.

Edit: that does not work together with the coherence rules, does it?

[BurntSushi]

I've tried really hard to work around this (by pursuing impls with Fn instead of fn) and I haven't been able to come up with a solution yet.

[BurntSushi]

I think I'm currently blocked on this by this bug: rust-lang/rust#25041 (Well, I think it's a bug. It sure feels like it.)

[michaelsproul]

cc me

[FranklinChen]

Just to clarify: we are currently blocked on being able to quickcheck an arbitrary closure? (Important to be able to nest to stage generation of values, as in Haskell QuickCheck and Scala ScalaCheck.)

[BurntSushi]

@FranklinChen Yup. I might be missing another solution to the problem, but the straight-forward path is to implement Testable on closure types, and the bug in rust-lang/rust#25041 seems to be preventing that.

[shepmaster]

While this still doesn't seem possible at the type level yet, you can reduce a bit of boilerplate by using _ when casting to the function pointer:

fn prop(xs: Vec<i32>) -> bool {
    xs == reverse(&reverse(&xs[..])[..])
}
quickcheck(prop as fn(_) -> _);

This is a bit nicer as you only have to duplicate the number of arguments, not the types.

[FranklinChen]

@shepmaster Ah, thanks for that tip. Could a macro automate that?