type-intersecting-types-not-self

Available in: KerML

This checks that types do not intersect themselves directly.

Specification

A Type cannot be one of its own intersecting_types.

Example

This is only possible in KerML:

class A;
class B intersects A, B; // error