expect unknown methods to take varargs of top types

lib/rdl/typecheck.rb

@@ -1510,7 +1510,8 @@ def self.lookup(scope, klass, name, e)
     # arity right.
     method = begin
       the_klass.instance_method(name)
-    rescue NameError
+    rescue NameError => e
+      puts "Unknown method: #{the_klass}.#{name}"
       nil
     end
 
@@ -1526,7 +1527,7 @@ def self.lookup(scope, klass, name, e)
         args << RDL::Type::VarargType.new(RDL::Globals.types[:top])
       end
     else
-      args = []
+      args = [RDL::Type::VarargType.new(RDL::Globals.types[:top])]
     end
 
     ret = RDL::Globals.types[:bot]

test/test_typecheck.rb

@@ -1700,4 +1700,21 @@ def self.bar; 1; end
 
     assert_equal "1", UntypedVararg.foo(1)
   end
+
+  def test_unknown_method
+    self.class.class_eval "module UnknownMethod; end"
+    UnknownMethod.class_eval do
+      extend RDL::Annotate
+      type '() -> nil', :typecheck => :call
+      def self.foo
+        begin
+          whatever(5, 4)
+        rescue
+          nil
+        end
+      end
+    end
+
+    assert_nil UnknownMethod.foo
+  end
 end