{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
            // Contravariant: &'b u8 <: &'a u8. Hence, `'b: 'a`.
        if self.ambient_contravariance() {
            self.push_outlives(b, a, self.ambient_variance_info);