{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // having any inference side-effects. We process obligations because
        // in b_ty's bound. Use this to first determine *which* apply without
        // unification may initially succeed due to deferred projection equality.