Conflict with rbi generated by Tapioca

[drselump14]

Rbi generated by Tapioca conflicts with dry-monads.rbi from this gem. It complaining about sealed! class.

Is sealed! really necessary?

Error

sorbet/rbi/gems/[email protected]:293: Dry::Monads::Maybe is sealed and cannot be inherited by Dry::Monads::Maybe::None https://srb.help/5050
     293 |class Dry::Monads::Maybe::None < ::Dry::Monads::Maybe
                                           ^^^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:64: Dry::Monads::Maybe was marked sealed and can only be inherited in this file
    64 |  sealed!
          ^^^^^^^

sorbet/rbi/gems/[email protected]:319: Dry::Monads::Maybe is sealed and cannot be inherited by Dry::Monads::Maybe::Some https://srb.help/5050
     319 |class Dry::Monads::Maybe::Some < ::Dry::Monads::Maybe
                                           ^^^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:64: Dry::Monads::Maybe was marked sealed and can only be inherited in this file
    64 |  sealed!
          ^^^^^^^

sorbet/rbi/gems/[email protected]:354: Dry::Monads::Result is sealed and cannot be inherited by Dry::Monads::Result::Failure https://srb.help/5050
     354 |class Dry::Monads::Result::Failure < ::Dry::Monads::Result
                                               ^^^^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:215: Dry::Monads::Result was marked sealed and can only be inherited in this file
     215 |  sealed!
            ^^^^^^^

sorbet/rbi/gems/[email protected]:409: Dry::Monads::Result is sealed and cannot be inherited by Dry::Monads::Result::Success https://srb.help/5050
     409 |class Dry::Monads::Result::Success < ::Dry::Monads::Result
                                               ^^^^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:215: Dry::Monads::Result was marked sealed and can only be inherited in this file
     215 |  sealed!
            ^^^^^^^

sorbet/dry-monads-sorbet/dry-monads.rbi:129: Dry::Monads::Maybe is sealed and cannot be inherited by Dry::Monads::Maybe::Some https://srb.help/5050
     129 |class Dry::Monads::Maybe::Some < Dry::Monads::Maybe
                                           ^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:64: Dry::Monads::Maybe was marked sealed and can only be inherited in this file
    64 |  sealed!
          ^^^^^^^

sorbet/dry-monads-sorbet/dry-monads.rbi:158: Dry::Monads::Maybe is sealed and cannot be inherited by Dry::Monads::Maybe::None https://srb.help/5050
     158 |class Dry::Monads::Maybe::None < Dry::Monads::Maybe
                                           ^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:64: Dry::Monads::Maybe was marked sealed and can only be inherited in this file
    64 |  sealed!
          ^^^^^^^

sorbet/dry-monads-sorbet/dry-monads.rbi:275: Dry::Monads::Result is sealed and cannot be inherited by Dry::Monads::Result::Success https://srb.help/5050
     275 |class Dry::Monads::Result::Success < Dry::Monads::Result
                                               ^^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:215: Dry::Monads::Result was marked sealed and can only be inherited in this file
     215 |  sealed!
            ^^^^^^^

sorbet/dry-monads-sorbet/dry-monads.rbi:303: Dry::Monads::Result is sealed and cannot be inherited by Dry::Monads::Result::Failure https://srb.help/5050
     303 |class Dry::Monads::Result::Failure < Dry::Monads::Result
                                               ^^^^^^^^^^^^^^^^^^^
    sorbet/dry-monads-sorbet/dry-monads.rbi:215: Dry::Monads::Result was marked sealed and can only be inherited in this file
     215 |  sealed!
            ^^^^^^^
E

[samuelgiles]

Apologies I missed this one coming in - Good question; I'll try find time to look at this in the next couple of weeks and get back to you. In the meantime clearing the Tapioca generated sorbet/rbi/gems/[email protected] after running Tapioca is probably the only workaround.