| << §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 >> |
