{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"self.has_unconstrained_ty_var"}]}
        self.has_unconstrained_ty_var |= self.ambient_variance == ty::Bivariant;
    fn next_ty_var_for_alias(&mut self) -> Ty<'tcx> {
        self.infcx.next_ty_var_in_universe(self.span, self.for_universe)