{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"ty::Int(_)"}]}
            ty::Int(_) => {}
        match *m_elem_ty.kind() {
            _ => return_error!(InvalidMonomorphization::MaskWrongElementType {