| << §4.10.(b) Type bounds | ↑ Table of Contents ↑ | §4.10.(d) Binding to a type parameter >> |
§4.10.(c) Generic replace binding
A generic callin method according to the above rules is bound using a replace
binding that declares the same number of type parameters,
where type parameters of the binding and its callin method are identified.
If the callin method declares bounds for its type parameters
so should the replace binding.
| << §4.10.(b) Type bounds | ↑ Table of Contents ↑ | §4.10.(d) Binding to a type parameter >> |
