{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"if"}]}
                    if ty_a == ty_b {
                    // FIXME: We could do normalization here, but is it really worth it?
                        // Allow 1-ZSTs that don't mention type params.