class a < Type

class b < a

%% cycle

class c < Type

class d < Type

class e < c

%% indirect cycle

class h < Type

%% no implicit declaration

class g < Type

class g < a

%% g is already real class

class i < g

class g < i

%% cycle via i = g

class i < Type

%% i is already alias class

%% Classes ---------------------------------------------------------------

a < Type

b < a

c < Type

d < Type

e < c

g < a

h < Type

i < g

%% Diagnostics -----------------------------------------------------------

*** Error 1.13, not a class 'b'

*** Error 3.11, not a class 'd'

*** Error 4.11, not a class 'e'

*** Error 6.11, not a class 'g'

### Hint 8.7, refined class 'g'

*** Error 10.7, cyclic class 'g'

### Warning 11.7, unchanged class 'i'