trie: adapt unstable `box_pattern` code to stable rust#9

petrosagg wants to merge 1 commit intoAdapton:masterAdapton/adapton.rust:masterfrom

petrosagg:remove_box_patternpetrosagg/adapton.rust:remove_box_patternCopy head branch name to clipboard