Add a test for the problem of parameters with no obvious type.
It's too late to handle those at assembly time. Move up with other parameter type finalization.