<< §4.10.(a) Fresh type parameter | ↑ Table of Contents ↑ | §4.10.(c) Generic replace binding >> |
§4.10.(b) Type bounds
The type parameter of a callin binding may be bounded by an upper bound as in <T extends C>
.
In this case T
can only be instantiated by types conforming to the upper bound C
.
<< §4.10.(a) Fresh type parameter | ↑ Table of Contents ↑ | §4.10.(c) Generic replace binding >> |