Detect incompatible types from incompatible QoS callbacks

[allenh1]

@clalancette this PR attempts to detect incompatible types from the incompatible QoS callbacks that are already in place.

It's a bit of a hack, and I am not sure how to check it locally (as it seems to depend on some other changes I lack locally), but I think this approach will work.