Test that we can inline when receiver type isn't exact, but the resolved method
is final.