If the pattern doesn't have any pack parameters in it anymore, we need to recover the substituted count type from the original count type. Fixes rdar://problem/112065340.