feat: eta-expand for oversaturating arguments while specializing (#10924)

feat: eta-expand for oversaturating arguments while specializing (#10924) #14363