Changeset b45d4b2


Ignore:
Timestamp:
Oct 24, 2017, 1:15:56 PM (4 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
68195a6
Parents:
df626eb
Message:

Infer assertions for cast expressions

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/AlternativeFinder.cc

    rdf626eb rb45d4b2  
    917917                                // Once this works, it should be possible to infer parameters on a cast expression and specialize any function.
    918918
    919                                 // inferParameters( needAssertions, haveAssertions, newAlt, openVars, back_inserter( candidates ) );
    920                                 candidates.emplace_back( std::move( newAlt ) );
     919                                inferParameters( needAssertions, haveAssertions, newAlt, openVars, back_inserter( candidates ) );
     920                                // candidates.emplace_back( std::move( newAlt ) );
    921921                        } // if
    922922                } // for
Note: See TracChangeset for help on using the changeset viewer.