Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/Resolver.cc

    rb230091 r400b8be  
    13851385                        for (auto & typeParam : mutDecl->type_params) {
    13861386                                symtab.addType(typeParam);
    1387                                 mutType->forall.emplace_back(new ast::TypeInstType(typeParam));
     1387                                mutType->forall.emplace_back(new ast::TypeInstType(typeParam->name, typeParam));
    13881388                        }
    13891389                        for (auto & asst : mutDecl->assertions) {
Note: See TracChangeset for help on using the changeset viewer.