{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
        // We must not check them to be equal, as we never insert anything to make them so.
        // Opaque types args have lifetime parameters.
        if variance != ty::Bivariant { self.relate(a, b) } else { Ok(a) }