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