`satisfies` operator

The non-associating, binary prefix satisfies operator is used to test whether its left-hand operand is satisfies its right-hand operand.

Usage

void m(Type<Anything> x) {
    Boolean satisfaction = satisfies String Iterator;
}

The satisfies operator is defined as follows:

lhs.satisfiesType(rhs);

See the language specification for more details.

TODO The satisfies operator is polymorphic. The meaning of satisfies depends on the Type interface.

The result type of the satisfies operator is Boolean.