It would be cool if we had tests that checks that you can't have types more specific in callmaps than in stubs

Originally posted by @orklah in #9839 (comment)

Additionally, we could have the same tests check that parameter can't be more specific in callmaps as well