Add a fake block arg to <unresolved-ancestors> so that it passes sani…

…ty checks (sorbet#5323)
dougedey-shopify · Feb 17, 2022 · b324658 · b324658
1 parent c3035c9
commit b324658
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/resolver/resolver.cc b/resolver/resolver.cc
@@ -579,6 +579,11 @@ class ResolveConstantsWalk {
             core::make_type<core::UnresolvedClassType>(unresolvedPath->first, move(unresolvedPath->second));
 
         auto uaSym = ctx.state.enterMethodSymbol(core::Loc::none(), item.klass, core::Names::unresolvedAncestors());
+
+        // Add a fake block argument so that this method symbol passes sanity checks
+        auto &arg = ctx.state.enterMethodArgumentSymbol(core::Loc::none(), uaSym, core::Names::blkArg());
+        arg.flags.isBlock = true;
+
         core::TypePtr resultType = uaSym.data(ctx)->resultType;
         if (!resultType) {
             uaSym.data(ctx)->resultType = core::make_type<core::TupleType>(vector<core::TypePtr>{ancestorType});