type-unioning-types-not-self

Available in: KerML

This checks that types do not union themselves directly.

Specification

A Type cannot be one of its own unioning_types.

Example

This is only possible in KerML:

class A;
class B unions A, B; // error