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