New testcase: globals should be linked if they are the wrong type. We should