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