Checks the subtype relationship, denoted by <: in the language specification. This is the type relationship used in is test checks.
<:
is