WIP

Author: soutaro

lib/rbs/environment.rb

@@ -392,7 +392,7 @@ def resolve_member(resolver, member, context:)
     end
 
     def absolute_type_name(resolver, type_name, context:, location:)
-      resolver.resolve(type_name, context: context) or type_name
+      resolver.resolve(type_name, context: context) || type_name
     end
 
     def absolute_type(resolver, type, context:)

lib/rbs/errors.rb

@@ -108,8 +108,18 @@ def initialize(type_name:, location:)
     end
 
     def self.check!(type_name, env:, location:)
-      env.find_type_decl(type_name) or
-        raise new(type_name: type_name, location: location)
+      dic = case
+            when type_name.class?
+              env.class_decls
+            when type_name.alias?
+              env.alias_decls
+            when type_name.interface?
+              env.interface_decls
+            else
+              raise
+            end
+
+      dic.key?(type_name) or raise new(type_name: type_name, location: location)
 
       type_name
     end

lib/rbs/variance_calculator.rb

@@ -107,12 +107,17 @@ def type(type, result:, context:)
           end
         end
       when Types::ClassInstance, Types::Interface
+        NoTypeFoundError.check!(type.name,
+                                env: env,
+                                location: type.location)
+
         type_params = case type
                       when Types::ClassInstance
-                        env.class_decls[type.name].type_params
+                        env.class_decls[type.name]&.type_params
                       when Types::Interface
-                        env.interface_decls[type.name].decl.type_params
+                        env.interface_decls[type.name]&.decl&.type_params
                       end
+
         type.args.each.with_index do |ty, i|
           var = type_params.params[i]
           case var.variance