{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"if"}]}
    if !ensure_wf(tcx, typing_env, ty, item_def_id, span) {
    let span = tcx.def_span(item_def_id);
        return;