Fix signature validation

lib/steep/server/signature_worker.rb

@@ -112,6 +112,9 @@ def validate_signature(target, timestamp:)
                         target.signature_files.each_key.with_object({}) do |path, hash|
                           hash[path] = []
                         end
+                      when Project::Target::SignatureOtherErrorStatus
+                        Steep.log_error status.error
+                        {}
                       else
                         Steep.logger.info "Unexpected target status: #{status.class}"
                         {}

lib/steep/signature/validator.rb

@@ -53,6 +53,7 @@ def validate
         validate_decl
         validate_const
         validate_global
+        validate_alias
       end
 
       def validate_type(type)
@@ -99,6 +100,7 @@ def validate_const
         env.constant_decls.each do |name, entry|
           rescue_validation_errors do
             Steep.logger.debug "Validating constant `#{name}`..."
+            builder.ensure_namespace!(name.namespace, location: entry.decl.location)
             validate_type entry.decl.type
           end
         end
@@ -117,7 +119,9 @@ def validate_alias
         env.alias_decls.each do |name, entry|
           rescue_validation_errors do
             Steep.logger.debug "Validating alias `#{name}`..."
-            validate_type(entry.decl.type)
+            builder.expand_alias(name).tap do |type|
+              validate_type(type)
+            end
           end
         end
       end

test/validation_test.rb

@@ -223,6 +223,51 @@ class Foo
     end
   end
 
+  def test_outer_namespace
+    with_checker <<-EOF do |checker|
+class Foo::Bar
+end
+    EOF
+
+      validator = Validator.new(checker: checker)
+      validator.validate
+
+      assert_operator validator, :has_error?
+      assert_any! validator.each_error do |error|
+        assert_instance_of Errors::UnknownTypeNameError, error
+        assert_equal parse_type("::Foo").name, error.name
+      end
+    end
+
+    with_checker <<-EOF do |checker|
+type Foo::bar = Integer
+    EOF
+
+      validator = Validator.new(checker: checker)
+      validator.validate
+
+      assert_operator validator, :has_error?
+      assert_any! validator.each_error do |error|
+        assert_instance_of Errors::UnknownTypeNameError, error
+        assert_equal parse_type("::Foo").name, error.name
+      end
+    end
+
+    with_checker <<-EOF do |checker|
+Foo::Bar: Integer
+    EOF
+
+      validator = Validator.new(checker: checker)
+      validator.validate
+
+      assert_operator validator, :has_error?
+      assert_any! validator.each_error do |error|
+        assert_instance_of Errors::UnknownTypeNameError, error
+        assert_equal parse_type("::Foo").name, error.name
+      end
+    end
+  end
+
   def test_validate_module
     skip "Not implemented yet"
   end