{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"if"}]}
            if obligation.has_non_region_infer() {
            let obligation = fcx.resolve_vars_if_possible(obligation);
                bug!("unexpected inference variable after writeback: {obligation:?}");