Ufuk Kayserilioglu

Isn't there also a problem with the signature of `Module#attr_reader` here? The original sorbet.run link in the issue description also complains that `private` is called with `nil`, since the signature...

The problem is with the `-Itest` part. For that project, it should be `-Ispec`.

Unfortunately, while the CI is green, this work is still not complete, since the implementation ends up removing too many methods from generated RBI files. In general there are 2...

> > Unlike mixin tracking, though, this is much harder to do, since we can't intercept def calls and analyze the backtrace. It won't be enough to intercept define_method calls...

> This is great. Two questions: Thanks for the review > > 1. Did we test this in Core? Does it pass type checking afterwards? I triggered the build pipeline...

Ok, tested this against Core. The build pipeline was giving a lot of errors. I debugged against Core and found the problem and pushed a fix on this branch. I...

The suggested(*) tooling for applications using Sorbet with gem dependencies is [Tapioca](https://github.com/Shopify/tapioca), and Tapioca supports generating typed RBI files for gems that have inline method signatures in their codebase, so...

> ... so that users using Sorbet without Tapioca get rbi files for my package without an extra step? We (Shopify) hope for Tapioca to be the recommended/default tooling for...

> This `foo` gem is then generated with tapioca both as part of `sorbet/rbi/gem/[email protected]` and `[email protected]`. I think we should fix this root problem, instead of adding ignores for namespaces....

@yannickgloster From the changes in the [PR](https://github.com/sorbet/sorbet/commit/11dffff9b12680b74fcb1c9f45fd088706898e51#diff-c9b037996e9c16464e031136abe5d9df567c72f283d572b070d108228b733127R122-R125), it is obvious that only `Kernel.lambda` and `-> ()` calls are special cased, not a bare `lambda` call, which could refer to any...