21.7. Context Bounds

A type parameter can have a context bound of the form T : M, where M is another generic type. It requires that there is an implicit value of type T[M] in scope.

For example,