{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
        if b.is_free() && sub_free_regions(tcx.lifetimes.re_static, b) {
        // `a <= b` for all `a`.
            return true;