Inline type annotations.

[reitermarkus]

• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same change?
• Have you added an explanation of what your changes do and why you'd like us to include them?
• Have you written new tests for your changes? Here's an example.
• Have you successfully run brew style with your changes locally?
• Have you successfully run brew tests with your changes locally?
• Have you successfully run brew man locally and committed any changes?

---

Some .rbi are still needed for the include Kernel case, since including Kernel in actual code causes it to override default methods, i.e. to_s with the default implementation.

Removed files.yaml, since all files now have a # typed: comment.

Refactored some module_function uses to class << self so that include Kernel is not needed.

Added a SystemCommand::Mixin module to reduce the need for including Kernel in some cases where the only needed method is system_command.

[issyl0]

I spent more time than I'd like to admit getting the files.yaml pruning script working. Good riddance! 😂

[issyl0]

The count of files changed and the diff stats make this PR look more intimidating than it actually is - good job on all of this, Markus! 😍 And now it'll be easier for new files to have # typed: sigils added.

[MikeMcQuaid]

These seem like a reasonable middle-ground 👍🏻

[MikeMcQuaid]

Nice work @reitermarkus!

[vidusheeamoli]

Just curious, why don't we have all RBI files in the sorbet directory?

[reitermarkus]

why don't we have all RBI files in the sorbet directory?

I think it's easier to maintain when the .rbi files are right next to the corresponding .rb files.

Especially for the ones in compat, there were already some leftover things in sorbet/ which don't exist anymore.