{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
            // This happens for cases like `<?0 as Trait>::Assoc == ?0`.
        if generalized_ty.is_ty_var() {
            // We can't instantiate `?0` here as that would result in a