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