Why not? We remap all the other types during inlining; why shouldn't this apply to the parameters as well? Also, note that it's wrong to remap the types of parameters of a function being inlined because those have to be known to its caller.