{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
                // but false negative is better than false positive
                // This is a less strict condition than rustc's `demand_eqtype`,
                if table.coerce(ety, t_cast, CoerceNever::Yes).is_ok() {