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