Changeset 0f5e8cd for src

Timestamp:

Jun 1, 2024, 5:13:42 PM (4 months ago)

Author:

Fangren Yu <f37yu@…>

Branches:

master

Children:

83b2fb5e, d68de59

Parents:

822332e

Message:

attempt to fix #286

Location:

src/ResolvExpr

Files:

• CandidateFinder.cpp (modified) (1 diff)
• Resolver.cpp (modified) (1 diff)

src/ResolvExpr/CandidateFinder.cpp

@@ -1196 +1196 @@
                         // return casts are eliminated (merely selecting an overload, no actual operation)
                         candidates = std::move(finder.candidates);
-                }
-                finder.find( castExpr->arg, ResolveMode::withAdjustment() );
+                        return;
+                }
+                else if (toType->isVoid()) {
+                        finder.find( castExpr->arg ); // no adjust
+                }
+                else {
+                        finder.find( castExpr->arg, ResolveMode::withAdjustment() );
+                }
 
                 if ( !finder.candidates.empty() ) reason.code = NoMatch;

src/ResolvExpr/Resolver.cpp

@@ -255 +255 @@
         ast::ptr< ast::CastExpr > untyped = new ast::CastExpr{ expr };
         CandidateRef choice = findUnfinishedKindExpression(
-                untyped, context, "", anyCandidate, ResolveMode::withAdjustment() );
+                untyped, context, "", anyCandidate );
 
         // a cast expression has either 0 or 1 interpretations (by language rules);