{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
        // For every projection predicate in the opaque type's explicit bounds,
        let infcx = &cx.tcx.infer_ctxt().build(cx.typing_mode());
        // check that the type that we're assigning actually satisfies the bounds