<< §4.10.(c) Generic replace binding | ↑ Table of Contents ↑ | §4.10.(e) Propagating type parameters >> |
§4.10.(d) Binding to a type parameter
A fresh type parameter can be used to capture arbitrary types in the base methods to be bound. The type parameter may be instantiated differently for each bound base method. By such type parameter instantiation the types in role and base signatures are actually identical, thus satisfying the requirement of two-way substitutability.
<< §4.10.(c) Generic replace binding | ↑ Table of Contents ↑ | §4.10.(e) Propagating type parameters >> |