Ambiguous hyperkind

From The Twelf Project

An ambiguous hyperkind occurs in pathological cases like this:

a : type.

b = a : _ _ .

Twelf 1.5R3, Aug 30, 2005 (%trustme)
a : type.
Error:  Ambiguous reconstruction
Inferred: {x:`%A1%} kind
Omitted term has ambiguous hyperkind
Error:   1 error found

%% ABORT %%