There is bug here that a trie is never demoted to an ordered.

This bug is also present in HashSet.