{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"out_len"}]}
            out_len == n,
        require!(
            InvalidMonomorphization::ReturnLength { span, name, in_len: n, ret_ty, out_len }