It indicates that `T` must be a type of `S`
# getting-started
j
It indicates that
T
must be a type of
S