rbs 0.3.1 → 0.8.0

data/lib/rbs/definition_builder.rb

@@ -1,188 +1,375 @@
 module RBS
   class DefinitionBuilder
     attr_reader :env
+    attr_reader :type_name_resolver
+
     attr_reader :instance_cache
     attr_reader :singleton_cache
+    attr_reader :interface_cache
+
+    attr_reader :one_instance_cache
+    attr_reader :one_singleton_cache
+
+    attr_reader :instance_ancestors_cache
+    attr_reader :singleton_ancestor_cache
+
+    attr_reader :one_instance_ancestors_cache
+    attr_reader :one_singleton_ancestors_cache
+
+    class OneAncestors
+      attr_reader :type_name
+      attr_reader :params
+      attr_reader :super_class
+      attr_reader :self_types
+      attr_reader :included_modules
+      attr_reader :prepended_modules
+      attr_reader :extended_modules
+
+      def initialize(type_name:, params:, super_class:, self_types:, included_modules:, prepended_modules:, extended_modules:)
+        @type_name = type_name
+        @params = params
+        @super_class = super_class
+        @self_types = self_types
+        @included_modules = included_modules
+        @prepended_modules = prepended_modules
+        @extended_modules = extended_modules
+      end
+
+      def each_ancestor(&block)
+        if block_given?
+          yield super_class if super_class
+          self_types&.each(&block)
+          included_modules&.each(&block)
+          prepended_modules&.each(&block)
+          extended_modules&.each(&block)
+        else
+          enum_for :each_ancestor
+        end
+      end
+
+      def self.class_instance(type_name:, params:, super_class:)
+        new(
+          type_name: type_name,
+          params: params,
+          super_class: super_class,
+          self_types: nil,
+          included_modules: [],
+          prepended_modules: [],
+          extended_modules: nil
+        )
+      end
+
+      def self.singleton(type_name:, super_class:)
+        new(
+          type_name: type_name,
+          params: nil,
+          super_class: super_class,
+          self_types: nil,
+          included_modules: nil,
+          prepended_modules: nil,
+          extended_modules: []
+        )
+      end
+
+      def self.module_instance(type_name:, params:)
+        new(
+          type_name: type_name,
+          params: params,
+          self_types: [],
+          included_modules: [],
+          prepended_modules: [],
+          super_class: nil,
+          extended_modules: nil
+        )
+      end
+    end
 
     def initialize(env:)
       @env = env
+      @type_name_resolver = TypeNameResolver.from_env(env)
+
       @instance_cache = {}
       @singleton_cache = {}
+      @interface_cache = {}
+
+      @one_instance_cache = {}
+      @one_singleton_cache = {}
+
+      @instance_ancestors_cache = {}
+      @singleton_ancestor_cache = {}
+
+      @one_instance_ancestors_cache = {}
+      @one_singleton_ancestors_cache = {}
     end
 
-    def build_ancestors(self_ancestor, ancestors: [], building_ancestors: [], location: nil)
-      decl = env.find_class(self_ancestor.name)
-      namespace = self_ancestor.name.absolute!.to_namespace
+    def validate_super_class!(type_name, entry)
+      with_super_classes = entry.decls.select {|d| d.decl.super_class }
 
-      RecursiveAncestorError.check!(self_ancestor,
-                                    ancestors: building_ancestors,
-                                    location: location || decl.location)
-      building_ancestors.push self_ancestor
+      return if with_super_classes.size <= 1
 
-      case self_ancestor
-      when Definition::Ancestor::Instance
-        args = self_ancestor.args
-        param_names = decl.type_params.each.map(&:name)
-
-        InvalidTypeApplicationError.check!(
-          type_name: self_ancestor.name,
-          args: args,
-          params: decl.type_params,
-          location: location || decl.location
-        )
+      super_types = with_super_classes.map do |d|
+        super_class = d.decl.super_class
+        Types::ClassInstance.new(name: super_class.name, args: super_class.args, location: nil)
+      end
 
-        sub = Substitution.build(param_names, args)
+      super_types.uniq!
 
-        case decl
-        when AST::Declarations::Class
-          unless self_ancestor.name == BuiltinNames::BasicObject.name
-            super_ancestor = decl.super_class&.yield_self do |super_class|
-              Definition::Ancestor::Instance.new(
-                name: absolute_type_name(super_class.name, namespace: namespace, location: location || decl.location),
-                args: super_class.args.map {|ty| absolute_type(ty.sub(sub), namespace: namespace) }
-              )
-            end || Definition::Ancestor::Instance.new(name: BuiltinNames::Object.name, args: [])
+      return if super_types.size == 1
+
+      raise SuperclassMismatchError.new(name: type_name, super_classes: super_types, entry: entry)
+    end
+
+    def one_instance_ancestors(type_name)
+      as = one_instance_ancestors_cache[type_name] and return as
 
-            build_ancestors(super_ancestor, ancestors: ancestors, building_ancestors: building_ancestors)
+      entry = env.class_decls[type_name] or raise "Unknown name for one_instance_ancestors: #{type_name}"
+      params = entry.type_params.each.map(&:name)
+
+      case entry
+      when Environment::ClassEntry
+        validate_super_class!(type_name, entry)
+        primary = entry.primary
+        super_class = primary.decl.super_class
+
+        if type_name != BuiltinNames::BasicObject.name
+          if super_class
+            super_name = super_class.name
+            super_args = super_class.args
+          else
+            super_name = BuiltinNames::Object.name
+            super_args = []
           end
+
+          NoSuperclassFoundError.check!(super_name, env: env, location: primary.decl.location)
+
+          ancestors = OneAncestors.class_instance(
+            type_name: type_name,
+            params: params,
+            super_class: Definition::Ancestor::Instance.new(name: super_name, args: super_args)
+          )
+        else
+          ancestors = OneAncestors.class_instance(
+            type_name: type_name,
+            params: params,
+            super_class: nil
+          )
         end
+      when Environment::ModuleEntry
+        ancestors = OneAncestors.module_instance(type_name: type_name, params: params)
 
-        decl.members.each do |member|
-          case member
-          when AST::Members::Include
-            if member.name.class?
-              ancestor = Definition::Ancestor::Instance.new(
-                name: absolute_type_name(member.name, namespace: namespace, location: member.location),
-                args: member.args.map {|ty| absolute_type(ty.sub(sub), namespace: namespace) }
-              )
-              build_ancestors ancestor, ancestors: ancestors, building_ancestors: building_ancestors, location: member.location
-            end
-          end
+        entry.self_types.each do |module_self|
+          NoSelfTypeFoundError.check!(module_self, env: env)
+          ancestors.self_types.push Definition::Ancestor::Instance.new(name: module_self.name, args: module_self.args)
         end
+      else
+        raise "Unexpected entry for: #{type_name}"
+      end
 
-        ancestors.unshift(self_ancestor)
+      mixin_ancestors(entry,
+                      included_modules: ancestors.included_modules,
+                      prepended_modules: ancestors.prepended_modules,
+                      extended_modules: nil)
 
-        env.each_extension(self_ancestor.name).sort_by {|e| e.extension_name.to_s }.each do |extension|
-          InvalidExtensionParameterError.check!(
-            type_name: self_ancestor.name,
-            extension_name: extension.extension_name,
-            extension_params: extension.type_params,
-            class_params: self_ancestor.args.map(&:name),
-            location: extension.location
-          )
+      one_instance_ancestors_cache[type_name] = ancestors
+    end
 
-          sub = Substitution.build(extension.type_params, self_ancestor.args)
+    def one_singleton_ancestors(type_name)
+      as = one_singleton_ancestors_cache[type_name] and return as
 
-          extension.members.each do |member|
-            case member
-            when AST::Members::Include
-              if member.name.class?
-                ancestor = Definition::Ancestor::Instance.new(
-                  name: absolute_type_name(member.name, namespace: namespace, location: member.location),
-                  args: member.args.map {|ty| absolute_type(ty.sub(sub), namespace: namespace) }
-                )
-                build_ancestors ancestor, ancestors: ancestors, building_ancestors: building_ancestors, location: member.location
-              end
-            end
-          end
+      entry = env.class_decls[type_name] or raise "Unknown name for one_singleton_ancestors: #{type_name}"
 
-          extension_ancestor = Definition::Ancestor::ExtensionInstance.new(
-            name: extension.name.absolute!,
-            extension_name: extension.extension_name,
-            args: self_ancestor.args,
-          )
-          ancestors.unshift(extension_ancestor)
+      case entry
+      when Environment::ClassEntry
+        validate_super_class!(type_name, entry)
+        primary = entry.primary
+        super_class = primary.decl.super_class
 
-          extension.members.each do |member|
-            case member
-            when AST::Members::Prepend
-              if member.name.class?
-                ancestor = Definition::Ancestor::Instance.new(
-                  name: absolute_type_name(member.name, namespace: namespace, location: member.location),
-                  args: member.args.map {|ty| absolute_type(ty.sub(sub), namespace: namespace) }
-                )
-                build_ancestors ancestor, ancestors: ancestors, building_ancestors: building_ancestors, location: member.location
-              end
-            end
+        if type_name != BuiltinNames::BasicObject.name
+          if super_class
+            super_name = super_class.name
+          else
+            super_name = BuiltinNames::Object.name
           end
-        end
 
-        decl.members.each do |member|
-          case member
-          when AST::Members::Prepend
-            ancestor = Definition::Ancestor::Instance.new(
-              name: absolute_type_name(member.name, namespace: namespace, location: member.location),
-              args: member.args.map {|ty| absolute_type(ty.sub(sub), namespace: namespace) }
-            )
-            build_ancestors ancestor, ancestors: ancestors, building_ancestors: building_ancestors, location: member.location
-          end
-        end
-      when Definition::Ancestor::Singleton
-        case decl
-        when AST::Declarations::Class
-          if self_ancestor.name == BuiltinNames::BasicObject.name
-            class_ancestor = Definition::Ancestor::Instance.new(
-              name: BuiltinNames::Class.name,
-              args: []
-            )
-            build_ancestors class_ancestor, ancestors: ancestors, building_ancestors: building_ancestors
-          else
-            super_ancestor = decl.super_class&.yield_self do |super_class|
-              Definition::Ancestor::Singleton.new(
-                name: absolute_type_name(super_class.name, namespace: namespace, location: location || decl.location)
-              )
-            end || Definition::Ancestor::Singleton.new(name: BuiltinNames::Object.name)
+          NoSuperclassFoundError.check!(super_name, env: env, location: primary.decl.location)
 
-            build_ancestors(super_ancestor, ancestors: ancestors, building_ancestors: building_ancestors)
-          end
-        when AST::Declarations::Module
-          module_ancestor = Definition::Ancestor::Instance.new(
-            name: BuiltinNames::Module.name,
-            args: []
+          ancestors = OneAncestors.singleton(
+            type_name: type_name,
+            super_class: Definition::Ancestor::Singleton.new(name: super_name)
+          )
+        else
+          ancestors = OneAncestors.singleton(
+            type_name: type_name,
+            super_class: Definition::Ancestor::Instance.new(name: BuiltinNames::Class.name, args: [])
           )
-          build_ancestors module_ancestor, ancestors: ancestors, building_ancestors: building_ancestors
         end
+      when Environment::ModuleEntry
+        ancestors = OneAncestors.singleton(
+          type_name: type_name,
+          super_class: Definition::Ancestor::Instance.new(name: BuiltinNames::Module.name, args: [])
+        )
+
+      else
+        raise "Unexpected entry for: #{type_name}"
+      end
+
+      mixin_ancestors(entry,
+                      included_modules: nil,
+                      prepended_modules: nil,
+                      extended_modules: ancestors.extended_modules)
+
+      one_singleton_ancestors_cache[type_name] = ancestors
+    end
+
+    def mixin_ancestors(entry, included_modules:, extended_modules:, prepended_modules:)
+      entry.decls.each do |d|
+        decl = d.decl
+
+        align_params = Substitution.build(
+          decl.type_params.each.map(&:name),
+          Types::Variable.build(entry.type_params.each.map(&:name))
+        )
 
-        decl.members.each do |member|
+        decl.each_mixin do |member|
           case member
+          when AST::Members::Include
+            if included_modules
+              NoMixinFoundError.check!(member.name, env: env, member: member)
+
+              module_name = member.name
+              module_args = member.args.map {|type| type.sub(align_params) }
+
+              included_modules << Definition::Ancestor::Instance.new(name: module_name, args: module_args)
+            end
+
+          when AST::Members::Prepend
+            if prepended_modules
+              NoMixinFoundError.check!(member.name, env: env, member: member)
+
+              module_name = member.name
+              module_args = member.args.map {|type| type.sub(align_params) }
+
+              prepended_modules << Definition::Ancestor::Instance.new(name: module_name, args: module_args)
+            end
+
           when AST::Members::Extend
-            if member.name.class?
-              ancestor = Definition::Ancestor::Instance.new(
-                name: absolute_type_name(member.name, namespace: namespace, location: member.location),
-                args: member.args.map {|ty| absolute_type(ty.sub(sub), namespace: namespace) }
-              )
-              build_ancestors ancestor, ancestors: ancestors, building_ancestors: building_ancestors, location: member.location
+            if extended_modules
+              NoMixinFoundError.check!(member.name, env: env, member: member)
+
+              module_name = member.name
+              module_args = member.args
+
+              extended_modules << Definition::Ancestor::Instance.new(name: module_name, args: module_args)
             end
           end
         end
+      end
+    end
+
+    def instance_ancestors(type_name, building_ancestors: [])
+      as = instance_ancestors_cache[type_name] and return as
+
+      entry = env.class_decls[type_name] or raise "Unknown name for instance_ancestors: #{type_name}"
+      params = entry.type_params.each.map(&:name)
+      args = Types::Variable.build(params)
+      self_ancestor = Definition::Ancestor::Instance.new(name: type_name, args: args)
+
+      RecursiveAncestorError.check!(self_ancestor,
+                                    ancestors: building_ancestors,
+                                    location: entry.primary.decl.location)
+      building_ancestors.push self_ancestor
+
+      one_ancestors = one_instance_ancestors(type_name)
+
+      ancestors = []
+
+      case entry
+      when Environment::ClassEntry
+        if one_ancestors.super_class
+          super_name = one_ancestors.super_class.name
+          super_args = one_ancestors.super_class.args
+
+          super_ancestors = instance_ancestors(super_name, building_ancestors: building_ancestors)
+          ancestors.unshift(*super_ancestors.apply(super_args, location: entry.primary.decl.location))
+        end
+      end
 
-        ancestors.unshift(self_ancestor)
+      one_ancestors.included_modules.each do |mod|
+        if mod.name.class?
+          name = mod.name
+          args = mod.args
+          mod_ancestors = instance_ancestors(name, building_ancestors: building_ancestors)
+          ancestors.unshift(*mod_ancestors.apply(args, location: entry.primary.decl.location))
+        end
+      end
 
-        env.each_extension(self_ancestor.name).sort_by {|e| e.extension_name.to_s }.each do |extension|
-          extension.members.each do |member|
-            case member
-            when AST::Members::Extend
-              if member.name.class?
-                ancestor = Definition::Ancestor::Instance.new(
-                  name: absolute_type_name(member.name, namespace: namespace, location: member.location),
-                  args: member.args.map {|ty| absolute_type(ty, namespace: namespace) }
-                )
-                build_ancestors ancestor, ancestors: ancestors, building_ancestors: building_ancestors, location: member.location
-              end
-            end
-          end
+      ancestors.unshift(self_ancestor)
 
-          extension_ancestor = Definition::Ancestor::ExtensionSingleton.new(
-            name: extension.name.absolute!,
-            extension_name: extension.extension_name
-          )
-          ancestors.unshift(extension_ancestor)
+      one_ancestors.prepended_modules.each do |mod|
+        if mod.name.class?
+          name = mod.name
+          args = mod.args
+          mod_ancestors = instance_ancestors(name, building_ancestors: building_ancestors)
+          ancestors.unshift(*mod_ancestors.apply(args, location: entry.primary.decl.location))
+        end
+      end
+
+      building_ancestors.pop
+
+      instance_ancestors_cache[type_name] = Definition::InstanceAncestors.new(
+        type_name: type_name,
+        params: params,
+        ancestors: ancestors
+      )
+    end
+
+    def singleton_ancestors(type_name, building_ancestors: [])
+      as = singleton_ancestor_cache[type_name] and return as
+
+      entry = env.class_decls[type_name] or raise "Unknown name for singleton_ancestors: #{type_name}"
+      self_ancestor = Definition::Ancestor::Singleton.new(name: type_name)
+
+      RecursiveAncestorError.check!(self_ancestor,
+                                    ancestors: building_ancestors,
+                                    location: entry.primary.decl.location)
+      building_ancestors.push self_ancestor
+
+      one_ancestors = one_singleton_ancestors(type_name)
+
+      ancestors = []
+
+      case one_ancestors.super_class
+      when Definition::Ancestor::Instance
+        super_name = one_ancestors.super_class.name
+        super_args = one_ancestors.super_class.args
+
+        super_ancestors = instance_ancestors(super_name, building_ancestors: building_ancestors)
+        ancestors.unshift(*super_ancestors.apply(super_args, location: entry.primary.decl.location))
+
+      when Definition::Ancestor::Singleton
+        super_name = one_ancestors.super_class.name
+
+        super_ancestors = singleton_ancestors(super_name, building_ancestors: [])
+        ancestors.unshift(*super_ancestors.ancestors)
+      end
+
+      one_ancestors.extended_modules.each do |mod|
+        if mod.name.class?
+          name = mod.name
+          args = mod.args
+          mod_ancestors = instance_ancestors(name, building_ancestors: building_ancestors)
+          ancestors.unshift(*mod_ancestors.apply(args, location: entry.primary.decl.location))
         end
       end
 
+      ancestors.unshift(self_ancestor)
+
       building_ancestors.pop
 
-      ancestors
+      singleton_ancestor_cache[type_name] = Definition::SingletonAncestors.new(
+        type_name: type_name,
+        ancestors: ancestors
+      )
     end
 
     def each_member_with_accessibility(members, accessibility: :public)
@@ -200,334 +387,365 @@ module RBS
 
     def build_instance(type_name)
       try_cache type_name, cache: instance_cache do
-        decl = env.find_class(type_name)
-        self_ancestor = Definition::Ancestor::Instance.new(name: type_name,
-                                                           args: Types::Variable.build(decl.type_params.each.map(&:name)))
-        self_type = Types::ClassInstance.new(name: type_name, args: self_ancestor.args, location: nil)
-
-        case decl
-        when AST::Declarations::Class, AST::Declarations::Module
-          ancestors = build_ancestors(self_ancestor)
-          definition_pairs = ancestors.map do |ancestor|
+        entry = env.class_decls[type_name] or raise "Unknown name for build_instance: #{type_name}"
+
+        case entry
+        when Environment::ClassEntry, Environment::ModuleEntry
+          ancestors = instance_ancestors(type_name)
+          self_type = Types::ClassInstance.new(name: type_name,
+                                               args: Types::Variable.build(entry.type_params.each.map(&:name)),
+                                               location: nil)
+
+          definition_pairs = ancestors.ancestors.map do |ancestor|
             case ancestor
             when Definition::Ancestor::Instance
               [ancestor, build_one_instance(ancestor.name)]
             when Definition::Ancestor::Singleton
               [ancestor, build_one_singleton(ancestor.name)]
-            when Definition::Ancestor::ExtensionInstance
-              [ancestor, build_one_instance(ancestor.name, extension_name: ancestor.extension_name)]
-            when Definition::Ancestor::ExtensionSingleton
-              [ancestor, build_one_extension_singleton(ancestor.name, extension_name: ancestor.extension_name)]
+            else
+              raise
             end
           end
 
-          if decl.is_a?(AST::Declarations::Module)
-            if decl.self_type
-              self_interface = absolute_type(decl.self_type, namespace: type_name.to_namespace)
-              ancestor = Definition::Ancestor::Instance.new(name: self_interface.name,
-                                                            args: self_interface.args)
-
-              definition_pairs.push [ancestor, build_one_instance(ancestor.name)]
+          if entry.is_a?(Environment::ModuleEntry)
+            entry.self_types.each do |module_self|
+              ancestor = Definition::Ancestor::Instance.new(name: module_self.name, args: module_self.args)
+              definition_pairs.push(
+                [
+                  ancestor,
+                  if module_self.name.interface?
+                    build_interface(module_self.name)
+                  else
+                    build_instance(module_self.name)
+                  end
+                ]
+              )
             end
           end
 
-          merge_definitions(definition_pairs, decl: decl, self_type: self_type, ancestors: ancestors)
+          merge_definitions(type_name, definition_pairs, entry: entry, self_type: self_type, ancestors: ancestors)
+
+        else
+          raise
         end
       end
     end
 
     def build_singleton(type_name)
       try_cache type_name, cache: singleton_cache do
-        decl = env.find_class(type_name)
-        self_ancestor = Definition::Ancestor::Singleton.new(name: type_name)
-        self_type = Types::ClassSingleton.new(name: type_name, location: nil)
+        entry = env.class_decls[type_name] or raise "Unknown name for build_singleton: #{type_name}"
+
+        case entry
+        when Environment::ClassEntry, Environment::ModuleEntry
+          ancestors = singleton_ancestors(type_name)
+          self_type = Types::ClassSingleton.new(name: type_name, location: nil)
+          instance_type = Types::ClassInstance.new(
+            name: type_name,
+            args: Types::Variable.build(entry.type_params.each.map(&:name)),
+            location: nil
+          )
 
-        case decl
-        when AST::Declarations::Class, AST::Declarations::Module
-          ancestors = build_ancestors(self_ancestor)
-          definition_pairs = ancestors.map do |ancestor|
+          definition_pairs = ancestors.ancestors.map do |ancestor|
             case ancestor
             when Definition::Ancestor::Instance
               [ancestor, build_one_instance(ancestor.name)]
             when Definition::Ancestor::Singleton
-              [ancestor, build_one_singleton(ancestor.name)]
-            when Definition::Ancestor::ExtensionInstance
-              [ancestor, build_one_instance(ancestor.name, extension_name: ancestor.extension_name)]
-            when Definition::Ancestor::ExtensionSingleton
-              [ancestor, build_one_singleton(ancestor.name, extension_name: ancestor.extension_name)]
+              definition = build_one_singleton(ancestor.name)
+              definition = definition.sub(Substitution.build([], [], instance_type: instance_type))
+              definition = definition.map_method_type do |method_type|
+                s = Substitution.build(
+                  method_type.free_variables.to_a,
+                  method_type.free_variables.map { Types::Bases::Any.new(location: nil) }
+                )
+                method_type.sub(s)
+              end
+
+              [
+                ancestor,
+                definition
+              ]
+            else
+              raise
             end
           end
 
-          if decl.is_a?(AST::Declarations::Class)
-            definition_pairs.find {|ancestor, _| ancestor == self_ancestor }.tap do |_, definition|
-              unless definition.methods[:new]&.implemented_in == decl
-                instance_definition = build_instance(type_name)
-                class_params = decl.type_params.each.map(&:name)
-                initialize_method = instance_definition.methods[:initialize]
-                method_types = initialize_method.method_types.map do |method_type|
-                  case method_type
-                  when MethodType
-                    fvs = method_type.free_variables + class_params
-                    unless fvs.empty?
-                      param_name_set = Set.new(class_params)
-                      bound_variables = method_type.type_params
-                      renamed_types = bound_variables.map do |x|
-                        if param_name_set.member?(x)
-                          Types::Variable.fresh(x)
-                        else
-                          Types::Variable.new(name: x, location: nil)
-                        end
-                      end
-                      sub = Substitution.build(bound_variables, renamed_types)
-                      method_type_params = renamed_types.unshift(*class_params)
-                    else
-                      sub = Substitution.build([], [])
-                      method_type_params = method_type.type_params
-                    end
+          merge_definitions(type_name, definition_pairs, entry: entry, self_type: self_type, ancestors: ancestors)
+        else
+          raise
+        end
+      end
+    end
 
-                    MethodType.new(
-                      type_params: method_type_params,
-                      type: method_type.type.sub(sub).with_return_type(instance_definition.self_type),
-                      block: method_type.block&.yield_self {|ty| ty.sub(sub) },
-                      location: method_type.location
-                    )
-                  end
-                end.compact
-
-                definition.methods[:new] = Definition::Method.new(
-                  super_method: nil,
-                  defined_in: nil,
-                  implemented_in: env.find_class(RBS::BuiltinNames::Class.name),
-                  method_types: method_types,
-                  accessibility: :public,
-                  attributes: [:incompatible],
-                  annotations: [],
-                  comment: nil
+    def method_definition_members(type_name, entry, kind:)
+      interface_methods = {}
+      methods = {}
+
+      entry.decls.each do |d|
+        each_member_with_accessibility(d.decl.members) do |member, accessibility|
+          case member
+          when AST::Members::MethodDefinition
+            case kind
+            when :singleton
+              next unless member.singleton?
+            when :instance
+              next unless member.instance?
+            end
+
+            methods[member.name] ||= []
+            methods[member.name] << [
+              member.update(types: member.types),
+              accessibility
+            ]
+          when AST::Members::Include, AST::Members::Extend
+            if member.name.interface?
+              if (kind == :instance && member.is_a?(AST::Members::Include)) || (kind == :singleton && member.is_a?(AST::Members::Extend))
+                NoMixinFoundError.check!(member.name, env: env, member: member)
+
+                interface_name = member.name
+                interface_args = member.args
+
+                interface_definition = build_interface(interface_name)
+
+                InvalidTypeApplicationError.check!(
+                  type_name: interface_name,
+                  args: interface_args,
+                  params: interface_definition.type_params_decl,
+                  location: member.location
                 )
+
+                sub = Substitution.build(interface_definition.type_params, interface_args)
+
+                interface_definition.methods.each do |name, method|
+                  interface_methods[name] = [method.sub(sub), member]
+                end
               end
             end
           end
+        end
+      end
+
+      result = {}
+
+      interface_methods.each do |name, pair|
+        method_definition, _ = pair
+        result[name] = [:public, method_definition]
+      end
+
+      methods.each do |method_name, array|
+        if result[method_name]
+          unless array.all? {|pair| pair[0].overload? }
+            raise MethodDefinitionConflictWithInterfaceMixinError.new(
+              type_name: type_name,
+              method_name: method_name,
+              kind: :instance,
+              mixin_member: interface_methods[method_name][1],
+              entries: array.map(&:first)
+            )
+          end
+
+          unless array.all? {|pair| pair[1] == :public}
+            raise InconsistentMethodVisibilityError.new(
+              type_name: type_name,
+              method_name: method_name,
+              kind: :instance,
+              member_pairs: array
+            )
+          end
+
+          result[method_name] += array.map(&:first)
+        else
+          case
+          when array.size == 1 && !array[0][0].overload?
+            member, visibility = array[0]
+            result[method_name] = [visibility, nil, member]
+
+          when array.count {|pair| !pair[0].overload? } == 1
+            visibilities = array.group_by {|pair| pair[1] }
+
+            if visibilities.size > 1
+              raise InconsistentMethodVisibilityError.new(
+                type_name: type_name,
+                method_name: method_name,
+                kind: :instance,
+                member_pairs: array
+              )
+            end
+
+            overloads, primary = array.map(&:first).partition(&:overload?)
+            result[method_name] = [array[0][1], nil, *primary, *overloads]
 
-          merge_definitions(definition_pairs, decl: decl, self_type: self_type, ancestors: ancestors)
+          else
+            raise InvalidOverloadMethodError.new(
+              type_name: type_name,
+              method_name: method_name,
+              kind: :instance,
+              members: array.map(&:first)
+            )
+          end
         end
       end
+
+      result
     end
 
-    def build_one_instance(type_name, extension_name: nil)
-      decl = if extension_name
-               env.each_extension(type_name).find {|ext| ext.extension_name == extension_name } or
-                 raise "Unknown extension: #{type_name} (#{extension_name})"
-             else
-               env.find_class(type_name)
-             end
-
-      case decl
-      when AST::Declarations::Interface
-        build_interface type_name, decl
-      else
-        namespace = type_name.to_namespace
+    def build_one_instance(type_name)
+      try_cache(type_name, cache: one_instance_cache) do
+        entry = env.class_decls[type_name]
 
-        case decl
-        when AST::Declarations::Class, AST::Declarations::Module
-          self_type = Types::ClassInstance.new(name: type_name,
-                                               args: Types::Variable.build(decl.type_params.each.map(&:name)),
-                                               location: nil)
-          ancestors = [Definition::Ancestor::Instance.new(name: type_name, args: self_type.args)]
-        when AST::Declarations::Extension
-          self_type = Types::ClassInstance.new(name: type_name, args: Types::Variable.build(decl.type_params), location: nil)
-          ancestors = [Definition::Ancestor::ExtensionInstance.new(name: type_name,
-                                                                   extension_name: extension_name,
-                                                                   args: self_type.args)]
-        end
+        self_type = Types::ClassInstance.new(name: type_name,
+                                             args: Types::Variable.build(entry.type_params.each.map(&:name)),
+                                             location: nil)
+        ancestors = [Definition::Ancestor::Instance.new(name: type_name, args: self_type.args)]
 
-        Definition.new(declaration: decl, self_type: self_type, ancestors: ancestors).tap do |definition|
-          alias_members = []
+        Definition.new(type_name: type_name, entry: entry, self_type: self_type, ancestors: ancestors).tap do |definition|
+          method_definition_members(type_name, entry, kind: :instance).each do |method_name, array|
+            visibility, method_def, *members = array
 
-          each_member_with_accessibility(decl.members) do |member, accessibility|
-            case member
-            when AST::Members::MethodDefinition
-              if member.instance?
-                name = member.name
-                method_types = member.types.map do |method_type|
-                  case method_type
-                  when MethodType
-                    method_type.map_type do |type|
-                      absolute_type(type, namespace: namespace)
-                    end
-                  when :super
-                    :super
-                  end
+            m = if method_def
+                  Definition::Method.new(
+                    super_method: nil,
+                    accessibility: visibility,
+                    defs: method_def.defs.map {|defn| defn.update(implemented_in: type_name) }
+                  )
+                else
+                  Definition::Method.new(
+                    super_method: nil,
+                    accessibility: visibility,
+                    defs: []
+                  )
                 end
 
-                DuplicatedMethodDefinitionError.check!(
-                  decl: decl,
-                  methods: definition.methods,
-                  name: name,
-                  location: member.location
-                )
-
-                attrs = if name == :initialize
-                          (member.attributes + [:incompatible]).uniq
-                        else
-                          member.attributes
-                        end
-
-                definition.methods[name] = Definition::Method.new(super_method: nil,
-                                                                  method_types: method_types,
-                                                                  defined_in: decl,
-                                                                  implemented_in: decl,
-                                                                  accessibility: accessibility,
-                                                                  attributes: attrs,
-                                                                  annotations: member.annotations,
-                                                                  comment: member.comment)
-              end
-            when AST::Members::AttrReader, AST::Members::AttrAccessor, AST::Members::AttrWriter
-              name = member.name
-              type = absolute_type(member.type, namespace: namespace)
-              ivar_name = case member.ivar_name
-                          when false
-                            nil
-                          else
-                            member.ivar_name || :"@#{member.name}"
-                          end
-
-              if member.is_a?(AST::Members::AttrReader) || member.is_a?(AST::Members::AttrAccessor)
-                definition.methods[name] = Definition::Method.new(
-                  super_method: nil,
-                  method_types: [
-                    MethodType.new(
-                      type_params: [],
-                      type: Types::Function.empty(type),
-                      block: nil,
-                      location: nil
-                    )
-                  ],
-                  defined_in: decl,
-                  implemented_in: decl,
-                  accessibility: accessibility,
-                  attributes: [],
-                  annotations: member.annotations,
-                  comment: member.comment
+            definition.methods[method_name] = members.inject(m) do |original, member|
+              defs = member.types.map do |method_type|
+                Definition::Method::TypeDef.new(
+                  type: method_type,
+                  member: member,
+                  implemented_in: type_name,
+                  defined_in: type_name
                 )
               end
 
-              if member.is_a?(AST::Members::AttrWriter) || member.is_a?(AST::Members::AttrAccessor)
-                definition.methods[:"#{name}="] = Definition::Method.new(
-                  super_method: nil,
-                  method_types: [
-                    MethodType.new(
-                      type_params: [],
-                      type: Types::Function.new(required_positionals: [Types::Function::Param.new(name: name, type: type)],
-                                                optional_positionals: [],
-                                                rest_positionals: nil,
-                                                trailing_positionals: [],
-                                                required_keywords: {},
-                                                optional_keywords: {},
-                                                rest_keywords: nil,
-                                                return_type: type),
-                      block: nil,
-                      location: nil
-                    )
-                  ],
-                  defined_in: decl,
-                  implemented_in: decl,
-                  accessibility: accessibility,
-                  attributes: [],
-                  annotations: member.annotations,
-                  comment: member.comment
+              Definition::Method.new(
+                super_method: nil,
+                defs: defs + original.defs,
+                accessibility: original.accessibility
+              )
+            end
+          end
+
+          entry.decls.each do |d|
+            each_member_with_accessibility(d.decl.members) do |member, accessibility|
+              case member
+              when AST::Members::AttrReader, AST::Members::AttrAccessor, AST::Members::AttrWriter
+                name = member.name
+                type = member.type
+
+                ivar_name = case member.ivar_name
+                            when false
+                              nil
+                            else
+                              member.ivar_name || :"@#{member.name}"
+                            end
+
+                if member.is_a?(AST::Members::AttrReader) || member.is_a?(AST::Members::AttrAccessor)
+                  definition.methods[name] = Definition::Method.new(
+                    super_method: nil,
+                    defs: [
+                      Definition::Method::TypeDef.new(
+                        type: MethodType.new(
+                          type_params: [],
+                          type: Types::Function.empty(type),
+                          block: nil,
+                          location: nil
+                        ),
+                        member: member,
+                        defined_in: type_name,
+                        implemented_in: type_name
+                      )
+                    ],
+                    accessibility: accessibility
+                  )
+                end
+
+                if member.is_a?(AST::Members::AttrWriter) || member.is_a?(AST::Members::AttrAccessor)
+                  definition.methods[:"#{name}="] = Definition::Method.new(
+                    super_method: nil,
+                    defs: [
+                      Definition::Method::TypeDef.new(
+                        type: MethodType.new(
+                          type_params: [],
+                          type: Types::Function.empty(type).update(
+                            required_positionals: [Types::Function::Param.new(name: name, type: type)]
+                          ),
+                          block: nil,
+                          location: nil
+                        ),
+                        member: member,
+                        defined_in: type_name,
+                        implemented_in: type_name
+                      ),
+                    ],
+                    accessibility: accessibility
+                  )
+                end
+
+                if ivar_name
+                  definition.instance_variables[ivar_name] = Definition::Variable.new(
+                    parent_variable: nil,
+                    type: type,
+                    declared_in: type_name
+                  )
+                end
+
+              when AST::Members::InstanceVariable
+                definition.instance_variables[member.name] = Definition::Variable.new(
+                  parent_variable: nil,
+                  type: member.type,
+                  declared_in: type_name
                 )
-              end
 
-              if ivar_name
-                definition.instance_variables[ivar_name] = Definition::Variable.new(
+              when AST::Members::ClassVariable
+                definition.class_variables[member.name] = Definition::Variable.new(
                   parent_variable: nil,
-                  type: type,
-                  declared_in: decl
+                  type: member.type,
+                  declared_in: type_name
                 )
-              end
 
-            when AST::Members::Alias
-              if member.instance?
-                alias_members << member
               end
-            when AST::Members::Include
-              if member.name.interface?
-                absolute_name = absolute_type_name(member.name, namespace: namespace, location: member.location)
-                interface_definition = build_one_instance(absolute_name)
-                absolute_args = member.args.map {|ty| absolute_type(ty, namespace: namespace) }
-
-                InvalidTypeApplicationError.check!(
-                  type_name: absolute_name,
-                  args: absolute_args,
-                  params: interface_definition.type_params_decl,
-                  location: member.location
-                )
+            end
+          end
 
-                sub = Substitution.build(interface_definition.type_params, absolute_args)
-                interface_definition.methods.each do |name, method|
-                  method_types = method.method_types.map do |method_type|
-                    method_type.sub(sub).map_type do |type|
-                      absolute_type(type, namespace: namespace)
-                    end
-                  end
+          entry.decls.each do |d|
+            d.decl.members.each do |member|
+              case member
+              when AST::Members::Alias
+                if member.instance?
+                  UnknownMethodAliasError.check!(
+                    methods: definition.methods,
+                    original_name: member.old_name,
+                    aliased_name: member.new_name,
+                    location: member.location
+                  )
 
                   DuplicatedMethodDefinitionError.check!(
-                    decl: decl,
+                    decl: d.decl,
                     methods: definition.methods,
-                    name: name,
+                    name: member.new_name,
                     location: member.location
                   )
 
-                  definition.methods[name] = Definition::Method.new(
-                    super_method: nil,
-                    method_types: method_types,
-                    defined_in: method.defined_in,
-                    implemented_in: decl,
-                    accessibility: method.accessibility,
-                    attributes: [],
-                    annotations: method.annotations,
-                    comment: member.comment
-                  )
+                  definition.methods[member.new_name] = definition.methods[member.old_name]
                 end
               end
-            when AST::Members::InstanceVariable
-              definition.instance_variables[member.name] = Definition::Variable.new(
-                type: absolute_type(member.type, namespace: namespace),
-                parent_variable: nil,
-                declared_in: decl
-              )
-            when AST::Members::ClassVariable
-              definition.class_variables[member.name] = Definition::Variable.new(
-                type: absolute_type(member.type, namespace: namespace),
-                parent_variable: nil,
-                declared_in: decl
-              )
             end
           end
 
-          alias_members.each do |member|
-            UnknownMethodAliasError.check!(
-              methods: definition.methods,
-              original_name: member.old_name,
-              aliased_name: member.new_name,
-              location: member.location
-            )
-
-            DuplicatedMethodDefinitionError.check!(
-              decl: decl,
-              methods: definition.methods,
-              name: member.new_name,
-              location: member.location
+          entry.decls.each do |d|
+            validate_parameter_variance(
+              decl: d.decl,
+              methods: definition.methods
             )
-
-            # FIXME: may cause a problem if #old_name has super type
-            definition.methods[member.new_name] = definition.methods[member.old_name]
           end
-
-          validate_parameter_variance(
-            decl: decl,
-            methods: definition.methods
-          )
         end
       end
     end
@@ -543,14 +761,8 @@ module RBS
     end
 
     def validate_parameter_variance(decl:, methods:)
-      type_params = case decl
-                    when AST::Declarations::Extension
-                      env.find_class(decl.name.absolute!).type_params.rename_to(decl.type_params)
-                    else
-                      decl.type_params
-                    end
+      type_params = decl.type_params
 
-      namespace = decl.name.absolute!.to_namespace
       calculator = VarianceCalculator.new(builder: self)
       param_names = type_params.each.map(&:name)
 
@@ -558,9 +770,8 @@ module RBS
 
       if decl.is_a?(AST::Declarations::Class)
         if decl.super_class
-          absolute_super_name = absolute_type_name(decl.super_class.name, namespace: namespace, location: decl.location)
-          absolute_args = decl.super_class.args.map {|type| absolute_type(type, namespace: namespace) }
-          result = calculator.in_inherit(name: absolute_super_name, args: absolute_args, variables: param_names)
+          super_class = decl.super_class
+          result = calculator.in_inherit(name: super_class.name, args: super_class.args, variables: param_names)
 
           validate_params_with type_params, result: result do |param|
             errors.push InvalidVarianceAnnotationError::InheritanceError.new(
@@ -574,9 +785,7 @@ module RBS
         case member
         when AST::Members::Include
           if member.name.class?
-            absolute_module_name = absolute_type_name(member.name, namespace: namespace, location: decl.location)
-            absolute_args = member.args.map {|type| absolute_type(type, namespace: namespace) }
-            result = calculator.in_inherit(name: absolute_module_name, args: absolute_args, variables: param_names)
+            result = calculator.in_inherit(name: member.name, args: member.args, variables: param_names)
 
             validate_params_with type_params, result: result do |param|
               errors.push InvalidVarianceAnnotationError::MixinError.new(
@@ -610,148 +819,151 @@ module RBS
       end
     end
 
-    def build_one_singleton(type_name, extension_name: nil)
-      decl = if extension_name
-               env.each_extension(type_name).find {|ext| ext.extension_name == extension_name } or
-                 raise "Unknown extension: #{type_name} (#{extension_name})"
-             else
-               env.find_class(type_name)
-             end
+    def build_one_singleton(type_name)
+      try_cache(type_name, cache: one_singleton_cache) do
+        entry = env.class_decls[type_name]
 
-      namespace = type_name.to_namespace
-
-      case decl
-      when AST::Declarations::Module, AST::Declarations::Class
         self_type = Types::ClassSingleton.new(name: type_name, location: nil)
         ancestors = [Definition::Ancestor::Singleton.new(name: type_name)]
-      when AST::Declarations::Extension
-        self_type = Types::ClassSingleton.new(name: type_name, location: nil)
-        ancestors = [Definition::Ancestor::ExtensionSingleton.new(name: type_name, extension_name: extension_name)]
-      end
 
-      Definition.new(declaration: decl, self_type: self_type, ancestors: ancestors).tap do |definition|
-        alias_members = []
+        Definition.new(type_name: type_name, entry: entry, self_type: self_type, ancestors: ancestors).tap do |definition|
+          method_definition_members(type_name, entry, kind: :singleton).each do |method_name, array|
+            visibility, method_def, *members = array
 
-        each_member_with_accessibility(decl.members) do |member, accessibility|
-          case member
-          when AST::Members::MethodDefinition
-            if member.singleton?
-              name = member.name
-              method_types = member.types.map do |method_type|
-                method_type.map_type do |type|
-                  absolute_type(type, namespace: namespace)
-                end
+            m = Definition::Method.new(
+              super_method: nil,
+              defs: method_def&.yield_self do |method_def|
+                method_def.defs.map {|defn| defn.update(implemented_in: type_name) }
+              end || [],
+              accessibility: visibility
+            )
+            definition.methods[method_name] = members.inject(m) do |original, new|
+              defs = new.types.map do |type|
+                Definition::Method::TypeDef.new(
+                  type: type,
+                  member: new,
+                  defined_in: type_name,
+                  implemented_in: type_name
+                )
               end
-
-              DuplicatedMethodDefinitionError.check!(
-                decl: decl,
-                methods: definition.methods,
-                name: name,
-                location: member.location
+              Definition::Method.new(
+                super_method: nil,
+                defs: defs + original.defs,
+                accessibility: original.accessibility
               )
-
-              definition.methods[name] = Definition::Method.new(super_method: nil,
-                                                                method_types: method_types,
-                                                                defined_in: decl,
-                                                                implemented_in: decl,
-                                                                accessibility: accessibility,
-                                                                attributes: member.attributes,
-                                                                annotations: member.annotations,
-                                                                comment: member.comment)
             end
-          when AST::Members::Alias
-            if member.singleton?
-              alias_members << member
+          end
+
+          entry.decls.each do |d|
+            d.decl.members.each do |member|
+              case member
+              when AST::Members::Alias
+                if member.singleton?
+                  UnknownMethodAliasError.check!(
+                    methods: definition.methods,
+                    original_name: member.old_name,
+                    aliased_name: member.new_name,
+                    location: member.location
+                  )
+
+                  DuplicatedMethodDefinitionError.check!(
+                    decl: d.decl,
+                    methods: definition.methods,
+                    name: member.new_name,
+                    location: member.location
+                  )
+
+                  definition.methods[member.new_name] = definition.methods[member.old_name]
+                end
+              end
             end
-          when AST::Members::Extend
-            if member.name.interface?
-              absolute_name = absolute_type_name(member.name, namespace: namespace, location: member.location)
-              interface_definition = build_one_instance(absolute_name)
-              absolute_args = member.args.map {|ty| absolute_type(ty, namespace: namespace) }
-
-              InvalidTypeApplicationError.check!(
-                type_name: absolute_name,
-                args: absolute_args,
-                params: interface_definition.type_params_decl,
-                location: member.location
-              )
+          end
 
-              sub = Substitution.build(interface_definition.type_params, absolute_args)
-              interface_definition.methods.each do |name, method|
-                method_types = method.method_types.map do |method_type|
-                  method_type.sub(sub).map_type do |type|
-                    absolute_type(type, namespace: namespace)
+          unless definition.methods.key?(:new)
+            instance = build_one_instance(type_name)
+            initialize = instance.methods[:initialize]
+
+            if initialize
+              class_params = entry.type_params.each.map(&:name)
+
+              initialize_defs = initialize.defs
+              definition.methods[:new] = Definition::Method.new(
+                super_method: nil,
+                defs: initialize_defs.map do |initialize_def|
+                  method_type = initialize_def.type
+
+                  class_type_param_vars = Set.new(class_params)
+                  method_type_param_vars = Set.new(method_type.type_params)
+
+                  if class_type_param_vars.intersect?(method_type_param_vars)
+                    renamed_method_params = method_type.type_params.map do |name|
+                      if class_type_param_vars.include?(name)
+                        Types::Variable.fresh(name).name
+                      else
+                        name
+                      end
+                    end
+                    method_params = class_params + renamed_method_params
+
+                    sub = Substitution.build(method_type.type_params, Types::Variable.build(renamed_method_params))
+                  else
+                    method_params = class_params + method_type.type_params
+                    sub = Substitution.build([], [])
                   end
-                end
 
-                DuplicatedMethodDefinitionError.check!(
-                  decl: decl,
-                  methods: definition.methods,
-                  name: name,
-                  location: member.location
+                  method_type = method_type.map_type {|ty| ty.sub(sub) }
+                  method_type = method_type.update(
+                    type_params: method_params,
+                    type: method_type.type.with_return_type(Types::Bases::Instance.new(location: nil))
+                  )
+
+                  Definition::Method::TypeDef.new(
+                    type: method_type,
+                    member: initialize_def.member,
+                    defined_in: nil,
+                    implemented_in: nil
+                  )
+                end,
+                accessibility: :public
+              )
+            end
+          end
+
+          entry.decls.each do |d|
+            each_member_with_accessibility(d.decl.members) do |member, _|
+              case member
+              when AST::Members::ClassInstanceVariable
+                definition.instance_variables[member.name] = Definition::Variable.new(
+                  parent_variable: nil,
+                  type: member.type,
+                  declared_in: type_name
                 )
 
-                definition.methods[name] = Definition::Method.new(
-                  super_method: nil,
-                  method_types: method_types,
-                  defined_in: method.defined_in,
-                  implemented_in: decl,
-                  accessibility: method.accessibility,
-                  attributes: method.attributes,
-                  annotations: method.annotations,
-                  comment: member.comment
+              when AST::Members::ClassVariable
+                definition.class_variables[member.name] = Definition::Variable.new(
+                  parent_variable: nil,
+                  type: member.type,
+                  declared_in: type_name
                 )
               end
             end
-          when AST::Members::ClassInstanceVariable
-            definition.instance_variables[member.name] = Definition::Variable.new(
-              type: absolute_type(member.type, namespace: namespace),
-              parent_variable: nil,
-              declared_in: decl
-            )
-          when AST::Members::ClassVariable
-            definition.class_variables[member.name] = Definition::Variable.new(
-              type: absolute_type(member.type, namespace: namespace),
-              parent_variable: nil,
-              declared_in: decl
-            )
           end
         end
-
-        alias_members.each do |member|
-          UnknownMethodAliasError.check!(
-            methods: definition.methods,
-            original_name: member.old_name,
-            aliased_name: member.new_name,
-            location: member.location
-          )
-
-          DuplicatedMethodDefinitionError.check!(
-            decl: decl,
-            methods: definition.methods,
-            name: member.new_name,
-            location: member.location
-          )
-
-          # FIXME: may cause a problem if #old_name has super type
-          definition.methods[member.new_name] = definition.methods[member.old_name]
-        end
       end
     end
 
-    def merge_definitions(pairs, decl:, self_type:, ancestors:)
-      Definition.new(declaration: decl, self_type: self_type, ancestors: ancestors).tap do |definition|
+    def merge_definitions(type_name, pairs, entry:, self_type:, ancestors:)
+      Definition.new(type_name: type_name, entry: entry, self_type: self_type, ancestors: ancestors).tap do |definition|
         pairs.reverse_each do |(ancestor, current_definition)|
           sub = case ancestor
-                when Definition::Ancestor::Instance, Definition::Ancestor::ExtensionInstance
+                when Definition::Ancestor::Instance
                   Substitution.build(current_definition.type_params, ancestor.args)
-                when Definition::Ancestor::Singleton, Definition::Ancestor::ExtensionSingleton
+                when Definition::Ancestor::Singleton
                   Substitution.build([], [])
                 end
-          namespace = current_definition.name.absolute!.to_namespace
 
           current_definition.methods.each do |name, method|
-            merge_method definition.methods, name, method, sub, namespace
+            merge_method definition.methods, name, method, sub
           end
 
           current_definition.instance_variables.each do |name, variable|
@@ -775,25 +987,13 @@ module RBS
       )
     end
 
-    def merge_method(methods, name, method, sub, namespace)
+    def merge_method(methods, name, method, sub)
       super_method = methods[name]
 
       methods[name] = Definition::Method.new(
-        method_types: method.method_types.flat_map do |method_type|
-          case method_type
-          when MethodType
-            [absolute_type(method_type.sub(sub), namespace: namespace)]
-          when :super
-            super_method.method_types
-          end
-        end,
         super_method: super_method,
-        defined_in: method.defined_in,
-        implemented_in: method.implemented_in,
         accessibility: method.accessibility,
-        attributes: method.attributes,
-        annotations: method.annotations,
-        comment: method.comment
+        defs: sub.mapping.empty? ? method.defs : method.defs.map {|defn| defn.update(type: defn.type.sub(sub)) }
       )
     end
 
@@ -816,31 +1016,45 @@ module RBS
       end
     end
 
-    def build_interface(type_name, declaration = env.find_class(type_name))
-      self_type = Types::Interface.new(
-        name: type_name,
-        args: declaration.type_params.each.map {|p| Types::Variable.new(name: p.name, location: nil) },
-        location: nil
-      )
+    def build_interface(type_name)
+      try_cache(type_name, cache: interface_cache) do
+        entry = env.interface_decls[type_name] or raise "Unknown name for build_interface: #{type_name}"
+        declaration = entry.decl
 
-      namespace = type_name.to_namespace
+        self_type = Types::Interface.new(
+          name: type_name,
+          args: Types::Variable.build(declaration.type_params.each.map(&:name)),
+          location: nil
+        )
 
-      Definition.new(declaration: declaration, self_type: self_type, ancestors: []).tap do |definition|
-        alias_members = []
+        Definition.new(type_name: type_name, entry: entry, self_type: self_type, ancestors: nil).tap do |definition|
+          include_members = []
+          def_members = []
+          alias_members = []
 
-        declaration.members.each do |member|
-          case member
-          when AST::Members::Include
-            mixin_name = env.absolute_interface_name(member.name, namespace: namespace) || member.name.absolute!
-            mixin = build_one_instance(mixin_name)
+          declaration.members.each do |member|
+            case member
+            when AST::Members::Include
+              include_members << member
+            when AST::Members::MethodDefinition
+              def_members << member
+            when AST::Members::Alias
+              alias_members << member
+            end
+          end
+
+          include_members.each do |member|
+            NoMixinFoundError.check!(member.name, env: env, member: member)
 
-            args = member.args.map {|type| absolute_type(type, namespace: namespace) }
-            type_params = mixin.declaration.type_params
+            mixin = build_interface(member.name)
+
+            args = member.args
+            type_params = mixin.entry.decl.type_params
 
             InvalidTypeApplicationError.check!(
               type_name: type_name,
               args: args,
-              params: type_params,
+              params: type_params.each.map(&:name),
               location: member.location
             )
 
@@ -849,11 +1063,8 @@ module RBS
               definition.methods[name] = method.sub(sub)
             end
           end
-        end
 
-        declaration.members.each do |member|
-          case member
-          when AST::Members::MethodDefinition
+          def_members.each do |member|
             DuplicatedMethodDefinitionError.check!(
               decl: declaration,
               methods: definition.methods,
@@ -863,57 +1074,44 @@ module RBS
 
             method = Definition::Method.new(
               super_method: nil,
-              method_types: member.types.map do |method_type|
-                method_type.map_type {|ty| absolute_type(ty, namespace: namespace) }
+              defs: member.types.map do |method_type|
+                Definition::Method::TypeDef.new(
+                  type: method_type,
+                  member: member,
+                  defined_in: type_name,
+                  implemented_in: nil
+                )
               end,
-              defined_in: declaration,
-              implemented_in: nil,
-              accessibility: :public,
-              attributes: member.attributes,
-              annotations: member.annotations,
-              comment: member.comment
+              accessibility: :public
             )
             definition.methods[member.name] = method
-          when AST::Members::Alias
-            alias_members << member
           end
-        end
 
-        alias_members.each do |member|
-          UnknownMethodAliasError.check!(
-            methods: definition.methods,
-            original_name: member.old_name,
-            aliased_name: member.new_name,
-            location: member.location
-          )
+          alias_members.each do |member|
+            UnknownMethodAliasError.check!(
+              methods: definition.methods,
+              original_name: member.old_name,
+              aliased_name: member.new_name,
+              location: member.location
+            )
 
-          DuplicatedMethodDefinitionError.check!(
-            decl: declaration,
-            methods: definition.methods,
-            name: member.new_name,
-            location: member.location
-          )
+            DuplicatedMethodDefinitionError.check!(
+              decl: declaration,
+              methods: definition.methods,
+              name: member.new_name,
+              location: member.location
+            )
 
-          # FIXME: may cause a problem if #old_name has super type
-          definition.methods[member.new_name] = definition.methods[member.old_name]
+            # FIXME: may cause a problem if #old_name has super type
+            definition.methods[member.new_name] = definition.methods[member.old_name]
+          end
         end
       end
     end
 
-    def absolute_type(type, namespace:)
-      env.absolute_type(type, namespace: namespace) do |type|
-        NoTypeFoundError.check!(type.name.absolute!, env: env, location: type.location)
-      end
-    end
-
-    def absolute_type_name(type_name, namespace:, location:)
-      env.absolute_type_name(type_name, namespace: namespace) do |type_name|
-        NoTypeFoundError.check!(type_name.absolute!, env: env, location: location)
-      end
-    end
-
     def expand_alias(type_name)
-      absolute_type(env.find_alias(type_name).type, namespace: type_name.namespace)
+      entry = env.alias_decls[type_name] or raise "Unknown name for expand_alias: #{type_name}"
+      entry.decl.type
     end
   end
 end