{"ast_node_type":"variable","tokens":[{"end":88,"kind":"keyword","start":0,"text":"let"}]}
        let alias_eq = AliasEq { alias: AliasTy::Projection(proj_ty), ty: var.clone() };
        let var = self.new_type_var();
        let obligation = alias_eq.cast(Interner);