Omitting type parameters on dispatch: accepted or implementation detail?

Yes.

From the manual: “Type parameters may be omitted when they do not need to be referenced or restricted.”

(The manual could be a lot more explicit about this, however — it might be good to add a subsection on omitting type parameters.)

3 Likes