{"ast_node_type":"function","tokens":[{"end":53,"kind":"keyword","start":0,"text":"fn"}]}
    fn next_ty_var_for_alias(&mut self) -> Ty<'tcx> {
    /// if we're currently in a bivariant context.
        self.has_unconstrained_ty_var |= self.ambient_variance == ty::Bivariant;