Changeset 36a5a77


Ignore:
Timestamp:
Aug 14, 2017, 2:07:18 PM (7 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
8217e8f
Parents:
74b007ba
Message:

Strip references when binding type variables

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/Unify.cc

    r74b007ba r36a5a77  
    143143
    144144        bool bindVar( TypeInstType *typeInst, Type *other, const TypeDecl::Data & data, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer ) {
     145                // remove references from other, so that type variables can only bind to value types
     146                other = other->stripReferences();
    145147                OpenVarSet::const_iterator tyvar = openVars.find( typeInst->get_name() );
    146148                assert( tyvar != openVars.end() );
Note: See TracChangeset for help on using the changeset viewer.