{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"invalid_monomorphization_int_type(ty);"}]}
                    invalid_monomorphization_int_type(ty);
                } else {
                    return Ok(());