Changeset fa761c2 for src/ResolvExpr/SatisfyAssertions.cpp
- Timestamp:
- Nov 1, 2023, 10:40:54 AM (10 months ago)
- Branches:
- master
- Children:
- be3f163
- Parents:
- 6e7ed0aa
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/SatisfyAssertions.cpp
r6e7ed0aa rfa761c2 51 51 52 52 // in CandidateFinder.cpp; unique ID for assertion satisfaction 53 extern UniqueId globalResnSlot;53 extern ast::UniqueId globalResnSlot; 54 54 55 55 namespace { … … 298 298 if ( !expr->inferred.hasSlots() ) return expr; 299 299 // if ( expr->inferred.mode != ast::Expr::InferUnion::Slots ) return expr; 300 std::vector< UniqueId> missingSlots;300 std::vector<ast::UniqueId> missingSlots; 301 301 // find inferred parameters for resolution slots 302 302 ast::InferredParams * newInferred = new ast::InferredParams(); 303 for ( UniqueId slot : expr->inferred.resnSlots() ) {303 for ( ast::UniqueId slot : expr->inferred.resnSlots() ) { 304 304 // fail if no matching assertions found 305 305 auto it = inferred.find( slot );
Note: See TracChangeset
for help on using the changeset viewer.