{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
        // `a <= b` for all `a`.
        // Check for the case where we know that `'b: 'static` -- in that case,
        if b.is_free() && sub_free_regions(tcx.lifetimes.re_static, b) {