Consequence: The system behaves as if type:type. This does not matter for the applications, but after some hard work one could obtain non-normalizing terms and wreak havoc on the system.
Workaround: Don't try to take advantage of the fact that the implementation considers type:type.