{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"///"}]}
    /// if we're currently in a bivariant context.
    /// generalizing an alias. This has to set `has_unconstrained_ty_var`
    fn next_ty_var_for_alias(&mut self) -> Ty<'tcx> {