↑ Table of Contents ↑ | §4.10.(b) Type bounds >> |
§4.10.(a) Fresh type parameter
If a callin method declares a type parameter <T>
for
capturing a covariant return type
this type T
can be used for specifying the type of exactly one parameter or the return type.
If a type parameter is used in more than one position of a callin
method
it is not considered a fresh type parameter
and can thus not be bound to a covariant return type (see §4.10.(d)).
↑ Table of Contents ↑ | §4.10.(b) Type bounds >> |