{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"_"}]}
                _ => bug!("encode_ty: unexpected `{:?}`", ty.kind()),
                ty::Uint(UintTy::Usize) => "u5usize",
            });