{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // Check for two unresolved inference variables, in which case we can
    ) -> Result<InferResult<'tcx, ()>, (TyVid, TyVid)> {
        // make no progress. This is partly a micro-optimization, but it's