Alexandre Terrasa

@egiurleo I think it would be better in the same cop but we can merge this now and iterate in another PR 👍

> The changes look fine to me, but I can't understand how one is supposed to extract all enum members from the resulting `TEnumBlock` object? Do you need to find...

Following our conversation earlier I removed the `members` helper as we don't have a clean way to ensure the `RBI::Const` is actually a valid T::Enum member. Let's revisit this once...

@froydnj This refactor makes it possible the support for the block case as shown by @allcre in the description: ```rb Integer.prepend(Module.new do #: (Integer) -> void def bar(x) T.reveal_type(x) #...

@froydnj > I can understand that this fix is effective for dealing with typed: strict files, but I am somewhat hesitant to approve it given the concern noted in the...

Allison is out today, I rebased the PR for her 👍

We actually have some work in progress about this: https://github.com/Shopify/tapioca/commit/12255bb93bf30a7dd32e5bbaf0e818ab1c9942ee

Rather than making another configuration option for this in Tapioca, can't you disable the default DSL compiler and provide your own with the behavior that suits you?

@paracycle, regarding your comment in https://github.com/sorbet/sorbet/issues/6621#issuecomment-1351577985: > I am surprised that Tapioca is generating a non-nilable column type here. It seems like we're generating this as a non-type on purpose:...

I think the root cause is that Stripe RBIs use `attr_reader` and Tapioca only sees `def` methods (related to https://github.com/Shopify/tapioca/issues/1918). The first step of fixing this fix was merged into...