There is unsafe code in resolve3!

[msullivan]

There is a bit of unsafe code in resolve3, where an unsafe pointer is taken to self and captured in closures.

This should be trivial to fix with explicit self types.

[msullivan]

Initial attempts to fix it yielded segfaults. My initial code was bogus, it turns out, but it should have been rejected...