tapioca 0.7.1 → 0.7.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4335f63c05a29d9ccaa0e0499af63ed4473f55532bd0a9aa012bbacf16a26666
-  data.tar.gz: 44edcd5f1de4552dd538a116ecc695d58f38837ad57c3f1979b65b6b649ccd82
+  metadata.gz: 8e91a1bbe5ebcaf20ba9eef68ab2771424d8c4918f6a4e142f35980ac347e151
+  data.tar.gz: d65e59b181163aadce492d737c148486d847fcc799fd0206ca7dad865098cdb9
 SHA512:
-  metadata.gz: 8f735efb4a5f069fa42fdfc7b7b4e0d62f7a962c816f35ebec0f02341d08984363656d384f91c42f1eecde2bcc574dbda4d4a05095bb367c81ac2b1e2fc7bb65
-  data.tar.gz: 6d76e4cc1e9ec2f725efa9332dc66883609ab8a49d70cd3edb31bda2d892928a0d9a879e18e6d2af94d6effee49ce0bb5ed79b9efa91dc4b4ede7d273de69ef6
+  metadata.gz: b9a1e46d7097ebc4cac468b8fa6e9296d9ba1567c37504f4084ed6cda3b070009839156615499860d86e7a2e4e04436f93e6baa5711ca1569f7104033ee9202d
+  data.tar.gz: d1ebc6209ccf853eacd7f4e166e9ebc3a55e03a906febd9e3dfd6e10aac326c742bfad133b29b034ab73a7b8610be25b44a22b8939b9f54dba510226e9c7cad2

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!
 

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

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

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

@@ -46,8 +46,12 @@ module Tapioca
       class ActiveStorage < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.all(Module,
-          ::ActiveStorage::Reflection::ActiveRecordExtensions::ClassMethods))
+        ConstantType = type_member do
+          {
+            fixed: T.all(Module,
+              ::ActiveStorage::Reflection::ActiveRecordExtensions::ClassMethods),
+          }
+        end
 
         sig { override.void }
         def decorate

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

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

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

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

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

@@ -49,7 +49,7 @@ module Tapioca
 
         CONFIG_OPTIONS_SUFFIX = "ConfigOptions"
 
-        ConstantType = type_member(fixed: Module)
+        ConstantType = type_member { { fixed: Module } }
 
         sig { override.void }
         def decorate
@@ -77,7 +77,7 @@ module Tapioca
             # enumerates the entries, we don't make any assumptions about their
             # types.
             mod.create_extend("T::Generic")
-            mod.create_type_member("Elem", value: "type_member(fixed: T.untyped)")
+            mod.create_type_variable("Elem", type: "type_member", fixed: "T.untyped")
 
             method_names.each do |method_name|
               # Create getter method

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

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

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

@@ -69,7 +69,7 @@ module Tapioca
           T.proc.params(type: T.any(Module, String)).returns(String)
         )
 
-        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/mixed_in_class_attributes.rb

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

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

@@ -70,7 +70,9 @@ module Tapioca
 
         extend T::Sig
 
-        ConstantType = type_member(fixed: Module)
+        ConstantType = type_member { { fixed: Module } }
+
+        FIELD_RE = /^[a-z_][a-zA-Z0-9_]*$/
 
         sig { override.void }
         def decorate
@@ -88,7 +90,15 @@ module Tapioca
                 create_kw_opt_param(field.name, type: field.init_type, default: field.default)
               end
 
-              klass.create_method("initialize", parameters: parameters, return_type: "void")
+              if fields.all? { |field| FIELD_RE.match?(field.name) }
+                klass.create_method("initialize", parameters: parameters, return_type: "void")
+              else
+                # One of the fields has an incorrect name for a named parameter so creating the default initialize for
+                # it would create a RBI with a syntax error.
+                # The workaround is to create an initialize that takes a **kwargs instead.
+                kwargs_parameter = create_kw_rest_param("fields", type: "T.untyped")
+                klass.create_method("initialize", parameters: [kwargs_parameter], return_type: "void")
+              end
             end
           end
         end
@@ -107,7 +117,7 @@ module Tapioca
           klass.create_extend("T::Generic")
 
           names.each do |name|
-            klass.create_type_member(name)
+            klass.create_type_variable(name, type: "type_member")
           end
         end
 

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

@@ -46,7 +46,7 @@ module Tapioca
           Regexp
         )
 
-        ConstantType = type_member(fixed: T.class_of(::Rails::Generators::Base))
+        ConstantType = type_member { { fixed: T.class_of(::Rails::Generators::Base) } }
 
         sig { override.void }
         def decorate

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

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

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

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

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

@@ -118,7 +118,7 @@ module Tapioca
       class StateMachines < Compiler
         extend T::Sig
 
-        ConstantType = type_member(fixed: T.all(Module, ::StateMachines::ClassMethods))
+        ConstantType = type_member { { fixed: T.all(Module, ::StateMachines::ClassMethods) } }
 
         sig { override.void }
         def decorate

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

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

data/lib/tapioca/helpers/sorbet_helper.rb

@@ -21,8 +21,8 @@ module Tapioca
     SORBET_EXE_PATH_ENV_VAR = "TAPIOCA_SORBET_EXE"
 
     FEATURE_REQUIREMENTS = T.let({
-      # First tag that includes https://github.com/sorbet/sorbet/pull/4706
-      to_ary_nil_support: ::Gem::Requirement.new(">= 0.5.9220"),
+      to_ary_nil_support: ::Gem::Requirement.new(">= 0.5.9220"),         # https://github.com/sorbet/sorbet/pull/4706
+      type_variable_block_syntax: ::Gem::Requirement.new(">= 0.5.9892"), # https://github.com/sorbet/sorbet/pull/5639
     }.freeze, T::Hash[Symbol, ::Gem::Requirement])
 
     class CmdResult < T::Struct

data/lib/tapioca/helpers/type_variable_helper.rb

@@ -0,0 +1,43 @@
+# typed: strict
+# frozen_string_literal: true
+
+module Tapioca
+  module TypeVariableHelper
+    extend T::Sig
+    extend SorbetHelper
+
+    sig do
+      params(
+        type: String,
+        variance: Symbol,
+        fixed: T.nilable(String),
+        upper: T.nilable(String),
+        lower: T.nilable(String)
+      ).returns(String)
+    end
+    def self.serialize_type_variable(type, variance, fixed, upper, lower)
+      variance = nil if variance == :invariant
+
+      bounds = []
+      bounds << "fixed: #{fixed}" if fixed
+      bounds << "lower: #{lower}" if lower
+      bounds << "upper: #{upper}" if upper
+
+      parameters = []
+      block = []
+
+      parameters << ":#{variance}" if variance
+
+      if sorbet_supports?(:type_variable_block_syntax)
+        block = bounds
+      else
+        parameters.concat(bounds)
+      end
+
+      serialized = type.dup
+      serialized << "(#{parameters.join(", ")})" unless parameters.empty?
+      serialized << " { { #{block.join(", ")} } }" unless block.empty?
+      serialized
+    end
+  end
+end

data/lib/tapioca/internal.rb

@@ -6,6 +6,8 @@ require "tapioca/runtime/reflection"
 require "tapioca/runtime/trackers"
 require "tapioca/runtime/dynamic_mixin_compiler"
 require "tapioca/runtime/loader"
+require "tapioca/helpers/sorbet_helper"
+require "tapioca/helpers/type_variable_helper"
 require "tapioca/sorbet_ext/generic_name_patch"
 require "tapioca/sorbet_ext/fixed_hash_patch"
 require "tapioca/runtime/generic_type_registry"
@@ -13,7 +15,6 @@ require "tapioca/helpers/cli_helper"
 require "tapioca/helpers/config_helper"
 require "tapioca/helpers/signatures_helper"
 require "tapioca/helpers/shims_helper"
-require "tapioca/helpers/sorbet_helper"
 require "tapioca/commands"
 require "tapioca/cli"
 require "tapioca/gemfile"

data/lib/tapioca/rbi_ext/model.rb

@@ -61,8 +61,18 @@ module RBI
       create_node(RBI::MixesInClassMethods.new(name))
     end
 
-    sig { params(name: String, value: String).void }
-    def create_type_member(name, value: "type_member")
+    sig do
+      params(
+        name: String,
+        type: String,
+        variance: Symbol,
+        fixed: T.nilable(String),
+        upper: T.nilable(String),
+        lower: T.nilable(String)
+      ).void
+    end
+    def create_type_variable(name, type:, variance: :invariant, fixed: nil, upper: nil, lower: nil)
+      value = Tapioca::TypeVariableHelper.serialize_type_variable(type, variance, fixed, upper, lower)
       create_node(RBI::TypeMember.new(name, value))
     end
 

data/lib/tapioca/runtime/reflection.rb

@@ -140,7 +140,11 @@ module Tapioca
       #
       #   class D < C; end
       #   descendants_of(C) # => [B, A, D]
-      sig { type_parameters(:U).params(klass: T.type_parameter(:U)).returns(T::Array[T.type_parameter(:U)]) }
+      sig do
+        type_parameters(:U)
+          .params(klass: T.all(Class, T.type_parameter(:U)))
+          .returns(T::Array[T.type_parameter(:U)])
+      end
       def descendants_of(klass)
         result = ObjectSpace.each_object(klass.singleton_class).reject do |k|
           T.cast(k, Module).singleton_class? || T.unsafe(k) == klass

data/lib/tapioca/sorbet_ext/generic_name_patch.rb

@@ -2,6 +2,7 @@
 # frozen_string_literal: true
 
 require "tapioca/sorbet_ext/name_patch"
+require "tapioca/helpers/sorbet_helper"
 
 module T
   module Generic
@@ -20,31 +21,47 @@ module T
         Tapioca::Runtime::GenericTypeRegistry.register_type(constant, types)
       end
 
-      def type_member(variance = :invariant, fixed: nil, lower: T.untyped, upper: BasicObject)
+      def type_member(variance = :invariant, fixed: nil, lower: nil, upper: nil, &blk)
         # `T::Generic#type_member` just instantiates a `T::Type::TypeMember` instance and returns it.
         # We use that when registering the type member and then later return it from this method.
+        hash = if blk
+          blk.call
+        else
+          {
+            fixed: fixed,
+            lower: lower,
+            upper: upper,
+          }
+        end
+
         Tapioca::TypeVariableModule.new(
           T.cast(self, Module),
           Tapioca::TypeVariableModule::Type::Member,
           variance,
-          fixed,
-          lower,
-          upper
+          **hash,
         ).tap do |type_variable|
           Tapioca::Runtime::GenericTypeRegistry.register_type_variable(self, type_variable)
         end
       end
 
-      def type_template(variance = :invariant, fixed: nil, lower: T.untyped, upper: BasicObject)
+      def type_template(variance = :invariant, fixed: nil, lower: nil, upper: nil, &blk)
         # `T::Generic#type_template` just instantiates a `T::Type::TypeTemplate` instance and returns it.
         # We use that when registering the type template and then later return it from this method.
+        hash = if blk
+          blk.call
+        else
+          {
+            fixed: fixed,
+            lower: lower,
+            upper: upper,
+          }
+        end
+
         Tapioca::TypeVariableModule.new(
           T.cast(self, Module),
           Tapioca::TypeVariableModule::Type::Template,
           variance,
-          fixed,
-          lower,
-          upper
+          **hash,
         ).tap do |type_variable|
           Tapioca::Runtime::GenericTypeRegistry.register_type_variable(self, type_variable)
         end
@@ -122,7 +139,7 @@ module Tapioca
     sig do
       params(context: Module, type: Type, variance: Symbol, fixed: T.untyped, lower: T.untyped, upper: T.untyped).void
     end
-    def initialize(context, type, variance, fixed, lower, upper) # rubocop:disable Metrics/ParameterLists
+    def initialize(context, type, variance, fixed: nil, lower: nil, upper: nil)
       @context = context
       @type = type
       @variance = variance
@@ -153,17 +170,17 @@ module Tapioca
 
     sig { returns(String) }
     def serialize
-      parts = []
-      parts << ":#{@variance}" unless @variance == :invariant
-      parts << "fixed: #{@fixed}" if @fixed
-      parts << "lower: #{@lower}" unless @lower == T.untyped
-      parts << "upper: #{@upper}" unless @upper == BasicObject
-
-      parameters = parts.join(", ")
-
-      serialized = @type.serialize.dup
-      serialized << "(#{parameters})" unless parameters.empty?
-      serialized
+      fixed = @fixed.to_s if @fixed
+      upper = @upper.to_s if @upper
+      lower = @lower.to_s if @lower
+
+      TypeVariableHelper.serialize_type_variable(
+        @type.serialize,
+        @variance,
+        fixed,
+        upper,
+        lower
+      )
     end
 
     sig { returns(Tapioca::TypeVariable) }

data/lib/tapioca/version.rb

@@ -2,5 +2,5 @@
 # frozen_string_literal: true
 
 module Tapioca
-  VERSION = "0.7.1"
+  VERSION = "0.7.2"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: tapioca
 version: !ruby/object:Gem::Version
-  version: 0.7.1
+  version: 0.7.2
 platform: ruby
 authors:
 - Ufuk Kayserilioglu
@@ -11,7 +11,7 @@ authors:
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2022-03-29 00:00:00.000000000 Z
+date: 2022-04-29 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -98,7 +98,7 @@ dependencies:
         version: 1.1.0
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.1.4
+        version: 1.1.11
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -108,7 +108,7 @@ dependencies:
         version: 1.1.0
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.1.4
+        version: 1.1.11
 - !ruby/object:Gem::Dependency
   name: thor
   requirement: !ruby/object:Gem::Requirement
@@ -219,6 +219,7 @@ files:
 - lib/tapioca/helpers/test/dsl_compiler.rb
 - lib/tapioca/helpers/test/isolation.rb
 - lib/tapioca/helpers/test/template.rb
+- lib/tapioca/helpers/type_variable_helper.rb
 - lib/tapioca/internal.rb
 - lib/tapioca/rbi_ext/model.rb
 - lib/tapioca/rbi_formatter.rb