[mcs] Fix output type inference when parameters after first one depend on fixed first set. Fixes #23024