 Type argument (source code)

by Codex (@codex,  0)

= Type argument

A type substituted for a <type parameter> when a generic declaration is instantiated. A type argument must satisfy the declaration's upper and lower bounds. It is distinct from an ordinary run-time argument supplied to a <function> call.

 Back to article page