tapioca 0.7.0 → 0.8.0

data/lib/tapioca/cli.rb

@@ -5,6 +5,7 @@ module Tapioca
   class Cli < Thor
     include CliHelper
     include ConfigHelper
+    include SorbetHelper
     include ShimsHelper
 
     FILE_HEADER_OPTION_DESC = "Add a \"This file is generated\" header on top of each generated RBI file"
@@ -89,7 +90,7 @@ module Tapioca
     option :quiet,
       aliases: ["-q"],
       type: :boolean,
-      desc: "Supresses file creation output",
+      desc: "Suppresses file creation output",
       default: false
     option :workers,
       aliases: ["-w"],
@@ -171,7 +172,7 @@ module Tapioca
     option :doc,
       type: :boolean,
       desc: "Include YARD documentation from sources when generating RBIs. Warning: this might be slow",
-      default: false
+      default: true
     option :exported_gem_rbis,
       type: :boolean,
       desc: "Include RBIs found in the `rbi/` directory of the gem",
@@ -242,6 +243,7 @@ module Tapioca
     option :gem_rbi_dir, type: :string, desc: "Path to gem RBIs", default: DEFAULT_GEM_DIR
     option :dsl_rbi_dir, type: :string, desc: "Path to DSL RBIs", default: DEFAULT_DSL_DIR
     option :shim_rbi_dir, type: :string, desc: "Path to shim RBIs", default: DEFAULT_SHIM_DIR
+    option :payload, type: :boolean, desc: "Check shims against Sorbet's payload", default: true
     def check_shims
       index = RBI::Index.new
 
@@ -251,6 +253,30 @@ module Tapioca
         exit(0)
       end
 
+      payload_path = T.let(nil, T.nilable(String))
+
+      if options[:payload]
+        if sorbet_supports?(:print_payload_sources)
+          Dir.mktmpdir do |dir|
+            payload_path = dir
+            result = sorbet("--no-config --print=payload-sources:#{payload_path}")
+
+            unless result.status
+              say_error("Sorbet failed to dump payload")
+              say_error(result.err)
+              exit(1)
+            end
+
+            index_payload(index, payload_path)
+          end
+        else
+          say_error("The version of Sorbet used in your Gemfile.lock does not support `--print=payload-sources`")
+          say_error("Current: v#{SORBET_GEM_SPEC.version}")
+          say_error("Required: #{FEATURE_REQUIREMENTS[:print_payload_sources]}")
+          exit(1)
+        end
+      end
+
       index_rbis(index, "shim", shim_rbi_dir)
       index_rbis(index, "gem", options[:gem_rbi_dir])
       index_rbis(index, "dsl", options[:dsl_rbi_dir])
@@ -260,7 +286,11 @@ module Tapioca
         duplicates.each do |key, nodes|
           say_error("\nDuplicated RBI for #{key}:", :red)
           nodes.each do |node|
-            say_error(" * #{node.loc}", :red)
+            node_loc = node.loc
+            next unless node_loc
+
+            loc_string = location_to_payload_url(node_loc, path_prefix: payload_path)
+            say_error(" * #{loc_string}", :red)
           end
         end
         say_error("\nPlease remove the duplicated definitions from the #{shim_rbi_dir} directory.", :red)
@@ -271,6 +301,13 @@ module Tapioca
       exit(0)
     end
 
+    desc "annotations", "Pull gem annotations from a central RBI repository"
+    option :repo_uri, type: :string, desc: "Repository URI to pull annotations from", default: CENTRAL_REPO_ROOT_URI
+    def annotations
+      command = Commands::Annotations.new(central_repo_root_uri: options[:repo_uri])
+      command.execute
+    end
+
     map ["--version", "-v"] => :__print_version
 
     desc "--version, -v", "show version"

data/lib/tapioca/commands/annotations.rb

@@ -0,0 +1,154 @@
+# typed: strict
+# frozen_string_literal: true
+
+require "net/http"
+
+module Tapioca
+  module Commands
+    class Annotations < Command
+      extend T::Sig
+
+      sig do
+        params(
+          central_repo_root_uri: String,
+          central_repo_index_path: String
+        ).void
+      end
+      def initialize(central_repo_root_uri:, central_repo_index_path: CENTRAL_REPO_INDEX_PATH)
+        super()
+        @central_repo_root_uri = central_repo_root_uri
+        @index = T.let(fetch_index, RepoIndex)
+      end
+
+      sig { override.void }
+      def execute
+        project_gems = list_gemfile_gems
+        remove_expired_annotations(project_gems)
+        fetch_annotations(project_gems)
+      end
+
+      private
+
+      sig { returns(T::Array[String]) }
+      def list_gemfile_gems
+        say("Listing gems from Gemfile.lock... ", [:blue, :bold])
+        gemfile = Bundler.read_file("Gemfile.lock")
+        parser = Bundler::LockfileParser.new(gemfile)
+        gem_names = parser.specs.map(&:name)
+        say("Done", :green)
+        gem_names
+      end
+
+      sig { params(project_gems: T::Array[String]).void }
+      def remove_expired_annotations(project_gems)
+        say("Removing annotations for gems that have been removed... ", [:blue, :bold])
+
+        annotations = Pathname.glob("#{DEFAULT_ANNOTATIONS_DIR}/*.rbi").map { |f| f.basename(".*").to_s }
+        expired = annotations - project_gems
+
+        if expired.empty?
+          say(" Nothing to do")
+          return
+        end
+
+        say("\n")
+        expired.each do |gem_name|
+          say("\n")
+          path = "#{DEFAULT_ANNOTATIONS_DIR}/#{gem_name}.rbi"
+          remove_file(path)
+        end
+        say("\nDone\n\n", :green)
+      end
+
+      sig { returns(RepoIndex) }
+      def fetch_index
+        say("Retrieving index from central repository... ", [:blue, :bold])
+        content = fetch_file(CENTRAL_REPO_INDEX_PATH)
+        exit(1) unless content
+
+        index = RepoIndex.from_json(content)
+        say("Done", :green)
+        index
+      end
+
+      sig { params(gem_names: T::Array[String]).returns(T::Array[String]) }
+      def fetch_annotations(gem_names)
+        say("Fetching gem annotations from central repository... ", [:blue, :bold])
+        fetchable_gems = gem_names.select { |gem_name| @index.has_gem?(gem_name) }
+
+        if fetchable_gems.empty?
+          say(" Nothing to do")
+          exit(0)
+        end
+
+        say("\n")
+        fetched_gems = fetchable_gems.select { |name| fetch_annotation(name) }
+        say("\nDone", :green)
+        fetched_gems
+      end
+
+      sig { params(gem_name: String).void }
+      def fetch_annotation(gem_name)
+        content = fetch_file("#{CENTRAL_REPO_ANNOTATIONS_DIR}/#{gem_name}.rbi")
+        return unless content
+
+        content = add_header(gem_name, content)
+
+        dir = DEFAULT_ANNOTATIONS_DIR
+        FileUtils.mkdir_p(dir)
+        say("\n  Fetched #{set_color(gem_name, :yellow, :bold)}", :green)
+        create_file("#{dir}/#{gem_name}.rbi", content)
+      end
+
+      sig { params(path: String).returns(T.nilable(String)) }
+      def fetch_file(path)
+        if @central_repo_root_uri.start_with?(%r{https?://})
+          fetch_http_file(path)
+        else
+          fetch_local_file(path)
+        end
+      end
+
+      sig { params(path: String).returns(T.nilable(String)) }
+      def fetch_local_file(path)
+        File.read("#{@central_repo_root_uri}/#{path}")
+      rescue => e
+        say_error("\nCan't fetch file `#{path}` (#{e.message})", :bold, :red)
+        nil
+      end
+
+      sig { params(path: String).returns(T.nilable(String)) }
+      def fetch_http_file(path)
+        uri = URI("#{@central_repo_root_uri}/#{path}")
+        response = Net::HTTP.get_response(uri)
+        case response
+        when Net::HTTPSuccess
+          response.body
+        else
+          say_error("\nCan't fetch file `#{path}` from #{@central_repo_root_uri} (#{response.class})", :bold, :red)
+          nil
+        end
+      rescue SocketError, Errno::ECONNREFUSED => e
+        say_error("\nCan't fetch file `#{path}` from #{@central_repo_root_uri} (#{e.message})", :bold, :red)
+        nil
+      end
+
+      sig { params(name: String, content: String).returns(String) }
+      def add_header(name, content)
+        header = <<~COMMENT
+          # DO NOT EDIT MANUALLY
+          # This file was pulled from #{@central_repo_root_uri}.
+          # Please run `#{default_command(:annotations)}` to update it.
+        COMMENT
+
+        contents = content.split("\n")
+        if contents[0]&.start_with?("# typed:") && contents[1]&.empty?
+          contents.insert(2, header).join("\n")
+        else
+          say_error("Couldn't insert file header for content: #{content} due to unexpected file format")
+          content
+        end
+      end
+    end
+  end
+end

data/lib/tapioca/commands/dsl.rb

@@ -4,6 +4,9 @@
 module Tapioca
   module Commands
     class Dsl < Command
+      include SorbetHelper
+      include RBIHelper
+
       sig do
         params(
           requested_constants: T::Array[String],
@@ -17,6 +20,8 @@ module Tapioca
           quiet: T::Boolean,
           verbose: T::Boolean,
           number_of_workers: T.nilable(Integer),
+          auto_strictness: T::Boolean,
+          gem_dir: String,
           rbi_formatter: RBIFormatter
         ).void
       end
@@ -32,6 +37,8 @@ module Tapioca
         quiet: false,
         verbose: false,
         number_of_workers: nil,
+        auto_strictness: true,
+        gem_dir: DEFAULT_GEM_DIR,
         rbi_formatter: DEFAULT_RBI_FORMATTER
       )
         @requested_constants = requested_constants
@@ -45,6 +52,8 @@ module Tapioca
         @quiet = quiet
         @verbose = verbose
         @number_of_workers = number_of_workers
+        @auto_strictness = auto_strictness
+        @gem_dir = gem_dir
         @rbi_formatter = rbi_formatter
 
         super()
@@ -102,9 +111,19 @@ module Tapioca
           perform_dsl_verification(outpath)
         else
           purge_stale_dsl_rbi_files(rbi_files_to_purge)
-
           say("Done", :green)
 
+          if @auto_strictness
+            say("")
+            validate_rbi_files(
+              command: default_command(:dsl, @requested_constants.join(" ")),
+              gem_dir: @gem_dir,
+              dsl_dir: @outpath.to_s,
+              auto_strictness: @auto_strictness,
+              compilers: pipeline.compilers
+            )
+          end
+
           say("All operations performed in working directory.", [:green, :bold])
           say("Please review changes and commit them.", [:green, :bold])
         end

data/lib/tapioca/commands/gem.rb

@@ -5,6 +5,7 @@ module Tapioca
   module Commands
     class Gem < Command
       include SorbetHelper
+      include RBIHelper
 
       sig do
         params(
@@ -78,7 +79,13 @@ module Tapioca
         end
 
         if anything_done
-          update_strictnesses(gem_queue.map(&:name), gem_dir: @outpath.to_s, dsl_dir: @dsl_dir) if @auto_strictness
+          validate_rbi_files(
+            command: default_command(:gem, @gem_names.join(" ")),
+            gem_dir: @outpath.to_s,
+            dsl_dir: @dsl_dir,
+            auto_strictness: @auto_strictness,
+            gems: bundle.dependencies
+          )
 
           say("All operations performed in working directory.", [:green, :bold])
           say("Please review changes and commit them.", [:green, :bold])
@@ -102,7 +109,13 @@ module Tapioca
         ].any?
 
         if anything_done
-          update_strictnesses([], gem_dir: @outpath.to_s, dsl_dir: @dsl_dir) if @auto_strictness
+          validate_rbi_files(
+            command: default_command(:gem),
+            gem_dir: @outpath.to_s,
+            dsl_dir: @dsl_dir,
+            auto_strictness: @auto_strictness,
+            gems: bundle.dependencies
+          )
 
           say("All operations performed in working directory.", [:green, :bold])
           say("Please review changes and commit them.", [:green, :bold])
@@ -122,7 +135,7 @@ module Tapioca
 
       sig { returns(Gemfile) }
       def bundle
-        @bundle ||= Gemfile.new
+        @bundle ||= Gemfile.new(@exclude)
       end
 
       sig { void }
@@ -359,6 +372,7 @@ module Tapioca
       sig { params(gem: Gemfile::GemSpec, file: RBI::File).void }
       def merge_with_exported_rbi(gem, file)
         return file unless gem.export_rbi_files?
+
         tree = gem.exported_rbi_tree
 
         unless tree.conflicts.empty?
@@ -379,60 +393,6 @@ module Tapioca
         say_error("\n\n  RBIs exported by `#{gem.name}` contain errors and can't be used:", :yellow)
         say_error("Cause: #{e.message} (#{e.location})")
       end
-
-      sig { params(gem_names: T::Array[String], gem_dir: String, dsl_dir: String).void }
-      def update_strictnesses(gem_names, gem_dir: DEFAULT_GEM_DIR, dsl_dir: DEFAULT_DSL_DIR)
-        return unless File.directory?(dsl_dir)
-
-        error_url_base = Spoom::Sorbet::Errors::DEFAULT_ERROR_URL_BASE
-
-        say("Typechecking RBI files... ")
-        res = sorbet(
-          "--no-config",
-          "--error-url-base=#{error_url_base}",
-          "--isolate-error-code 4010",
-          dsl_dir,
-          gem_dir
-        )
-        say(" Done", :green)
-
-        errors = Spoom::Sorbet::Errors::Parser.parse_string(res.err)
-
-        if errors.empty?
-          say("No error found", [:green, :bold])
-          return
-        end
-
-        files = []
-
-        errors.each do |error|
-          # Collect the file with error
-          files << error.file
-          error.more.each do |line|
-            # Also collect the conflicting definition file paths
-            next unless line.include?("Previous definition")
-            files << line.split(":").first&.strip
-          end
-        end
-
-        files
-          .uniq
-          .sort
-          .select do |file|
-            name = gem_name_from_rbi_path(file)
-            file.start_with?(gem_dir) && (gem_names.empty? || gem_names.include?(name))
-          end.each do |file|
-            Spoom::Sorbet::Sigils.change_sigil_in_file(file, "false")
-            say("\n  Changed strictness of #{file} to `typed: false` (conflicting with DSL files)", [:yellow, :bold])
-          end
-
-        say("\n")
-      end
-
-      sig { params(path: String).returns(String) }
-      def gem_name_from_rbi_path(path)
-        T.must(File.basename(path, ".rbi").split("@").first)
-      end
     end
   end
 end

data/lib/tapioca/commands/init.rb

@@ -41,6 +41,7 @@ module Tapioca
         create_file(@sorbet_config, <<~CONTENT, skip: true, force: false)
           --dir
           .
+          --ignore=vendor/
         CONTENT
       end
 

data/lib/tapioca/commands/todo.rb

@@ -74,10 +74,12 @@ module Tapioca
           .each_line
           .map do |line|
             next if line.include?("<")
-            next if line.include?("class_of")
-            line.strip.gsub("T.untyped::", "")
+
+            line.strip
+              .gsub(/T\.class_of\(([:\w]+)\)/, '\1') # Turn T.class_of(Foo)::Bar into Foo::Bar
           end
           .compact
+          .sort
       end
     end
   end

data/lib/tapioca/commands.rb

@@ -4,6 +4,7 @@
 module Tapioca
   module Commands
     autoload :Command, "tapioca/commands/command"
+    autoload :Annotations, "tapioca/commands/annotations"
     autoload :Dsl, "tapioca/commands/dsl"
     autoload :Init, "tapioca/commands/init"
     autoload :Gem, "tapioca/commands/gem"

data/lib/tapioca/dsl/compiler.rb

@@ -17,7 +17,7 @@ module Tapioca
       include Runtime::Reflection
       extend Runtime::Reflection
 
-      ConstantType = type_member(upper: Module)
+      ConstantType = type_member { { upper: Module } }
 
       abstract!
 
@@ -54,7 +54,7 @@ module Tapioca
       sig { returns(T::Set[Module]) }
       def self.processable_constants
         @processable_constants ||= T.let(
-          Set.new(gather_constants).tap(&:compare_by_identity),
+          T::Set[Module].new(gather_constants).compare_by_identity,
           T.nilable(T::Set[Module])
         )
         T.must(@processable_constants)

data/lib/tapioca/dsl/compilers/aasm.rb

@@ -49,7 +49,7 @@ module Tapioca
             T::Array[String]
           )
 
-        ConstantType = type_member(fixed: T.all(::AASM::ClassMethods, Class))
+        ConstantType = type_member { { fixed: T.all(::AASM::ClassMethods, Class) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/action_controller_helpers.rb

@@ -68,7 +68,7 @@ module Tapioca
       class ActionControllerHelpers < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(::ActionController::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActionController::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/action_mailer.rb

@@ -36,7 +36,7 @@ module Tapioca
       class ActionMailer < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(::ActionMailer::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActionMailer::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_job.rb

@@ -40,7 +40,7 @@ module Tapioca
       class ActiveJob < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(::ActiveJob::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActiveJob::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_model_attributes.rb

@@ -39,7 +39,7 @@ module Tapioca
       class ActiveModelAttributes < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.all(Class, ::ActiveModel::Attributes::ClassMethods))
+        ConstantType = type_member { { fixed: T.all(Class, ::ActiveModel::Attributes::ClassMethods) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_model_secure_password.rb

@@ -60,7 +60,7 @@ module Tapioca
       class ActiveModelSecurePassword < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.all(Class, ::ActiveModel::SecurePassword::ClassMethods))
+        ConstantType = type_member { { fixed: T.all(Class, ::ActiveModel::SecurePassword::ClassMethods) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_record_associations.rb

@@ -119,7 +119,7 @@ module Tapioca
           end
         end
 
-        ConstantType = type_member(fixed: T.class_of(ActiveRecord::Base))
+        ConstantType = type_member { { fixed: T.class_of(ActiveRecord::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_record_columns.rb

@@ -101,7 +101,7 @@ module Tapioca
         extend T::Sig
         include Helpers::ActiveRecordConstantsHelper
 
-        ConstantType = type_member(fixed: T.class_of(ActiveRecord::Base))
+        ConstantType = type_member { { fixed: T.class_of(ActiveRecord::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_record_enum.rb

@@ -58,7 +58,7 @@ module Tapioca
       class ActiveRecordEnum < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(::ActiveRecord::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActiveRecord::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_record_fixtures.rb

@@ -38,7 +38,7 @@ module Tapioca
       class ActiveRecordFixtures < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(ActiveSupport::TestCase))
+        ConstantType = type_member { { fixed: T.class_of(ActiveSupport::TestCase) } }
 
         sig { override.void }
         def decorate
@@ -60,6 +60,8 @@ module Tapioca
 
         sig { override.returns(T::Enumerable[Module]) }
         def self.gather_constants
+          return [] unless Rails.application
+
           [ActiveSupport::TestCase]
         end
 

data/lib/tapioca/dsl/compilers/active_record_relations.rb

@@ -118,7 +118,7 @@ module Tapioca
       #     sig { returns(T::Array[::Post]) }
       #     def to_ary; end
       #
-      #     Elem = type_member(fixed: ::Post)
+      #     Elem = type_member { { fixed: ::Post } }
       #   end
       #
       #   class PrivateCollectionProxy < ::ActiveRecord::Associations::CollectionProxy
@@ -141,7 +141,7 @@ module Tapioca
       #     sig { returns(T::Array[::Post]) }
       #     def to_ary; end
       #
-      #     Elem = type_member(fixed: ::Post)
+      #     Elem = type_member { { fixed: ::Post } }
       #   end
       # end
       # ~~~
@@ -150,7 +150,7 @@ module Tapioca
         include Helpers::ActiveRecordConstantsHelper
         include SorbetHelper
 
-        ConstantType = type_member(fixed: T.class_of(::ActiveRecord::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActiveRecord::Base) } }
 
         sig { override.void }
         def decorate
@@ -253,7 +253,7 @@ module Tapioca
           model.create_class(RelationClassName, superclass_name: superclass) do |klass|
             klass.create_include(CommonRelationMethodsModuleName)
             klass.create_include(RelationMethodsModuleName)
-            klass.create_constant("Elem", value: "type_member(fixed: #{constant_name})")
+            klass.create_type_variable("Elem", type: "type_member", fixed: constant_name)
 
             klass.create_method("to_ary", return_type: "T::Array[#{constant_name}]")
           end
@@ -269,7 +269,7 @@ module Tapioca
           model.create_class(AssociationRelationClassName, superclass_name: superclass) do |klass|
             klass.create_include(CommonRelationMethodsModuleName)
             klass.create_include(AssociationRelationMethodsModuleName)
-            klass.create_constant("Elem", value: "type_member(fixed: #{constant_name})")
+            klass.create_type_variable("Elem", type: "type_member", fixed: constant_name)
 
             klass.create_method("to_ary", return_type: "T::Array[#{constant_name}]")
           end
@@ -281,7 +281,7 @@ module Tapioca
         def create_relation_where_chain_class(model)
           model.create_class(RelationWhereChainClassName, superclass_name: RelationClassName) do |klass|
             create_where_chain_methods(klass, RelationClassName)
-            klass.create_constant("Elem", value: "type_member(fixed: #{constant_name})")
+            klass.create_type_variable("Elem", type: "type_member", fixed: constant_name)
           end
         end
 
@@ -292,7 +292,7 @@ module Tapioca
             superclass_name: AssociationRelationClassName
           ) do |klass|
             create_where_chain_methods(klass, AssociationRelationClassName)
-            klass.create_constant("Elem", value: "type_member(fixed: #{constant_name})")
+            klass.create_type_variable("Elem", type: "type_member", fixed: constant_name)
           end
         end
 
@@ -329,7 +329,7 @@ module Tapioca
           model.create_class(AssociationsCollectionProxyClassName, superclass_name: superclass) do |klass|
             klass.create_include(CommonRelationMethodsModuleName)
             klass.create_include(AssociationRelationMethodsModuleName)
-            klass.create_constant("Elem", value: "type_member(fixed: #{constant_name})")
+            klass.create_type_variable("Elem", type: "type_member", fixed: constant_name)
 
             klass.create_method("to_ary", return_type: "T::Array[#{constant_name}]")
             create_collection_proxy_methods(klass)

data/lib/tapioca/dsl/compilers/active_record_scope.rb

@@ -46,7 +46,7 @@ module Tapioca
         extend T::Sig
         include Helpers::ActiveRecordConstantsHelper
 
-        ConstantType = type_member(fixed: T.class_of(::ActiveRecord::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActiveRecord::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_record_typed_store.rb

@@ -90,7 +90,7 @@ module Tapioca
       class ActiveRecordTypedStore < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(::ActiveRecord::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActiveRecord::Base) } }
 
         sig { override.void }
         def decorate

data/lib/tapioca/dsl/compilers/active_resource.rb

@@ -61,7 +61,7 @@ module Tapioca
       class ActiveResource < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.class_of(::ActiveResource::Base))
+        ConstantType = type_member { { fixed: T.class_of(::ActiveResource::Base) } }
 
         sig { override.void }
         def decorate