No. It always specializes on the actual runtime types. Independent of the function signature. Explicit types only have the effect of a filter: don’t except anything but only subtypes of AbstractStrings.
1 Like