type-differencing-types-not-self

Available in: KerML

This checks that types do not difference themselves directly.

Specification

A Type cannot be one of its own differencing_types.

Example

This is only possible in KerML:

class A;
class B differences A, B; // error