Skip to content

Remove RBS inline from tests and add Sorbet for type checking#13

Merged
simaaaji merged 4 commits into
chore/rbs-inlinefrom
copilot/sub-pr-12
Nov 8, 2025
Merged

Remove RBS inline from tests and add Sorbet for type checking#13
simaaaji merged 4 commits into
chore/rbs-inlinefrom
copilot/sub-pr-12

Conversation

Copilot AI commented Nov 7, 2025

Copy link
Copy Markdown

Remove auto-generated RBS inline type annotations from test files and configure Sorbet for type checking alongside RBS inline annotations in library code.

Changes

  • Test cleanup: Removed #: type annotations from all test files and rbs-trace setup from test_helper.rb
  • Type checking: Added sorbet and sorbet-runtime gems with basic configuration
  • Documentation: Created TYPE_CHECKING.md explaining the dual type checking workflow

RBS inline annotations remain in lib/ for static type information. Test files no longer contain type annotations.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot AI and others added 3 commits November 7, 2025 06:35
Co-authored-by: simaaaji <221018698+simaaaji@users.noreply.github.com>
Co-authored-by: simaaaji <221018698+simaaaji@users.noreply.github.com>
Co-authored-by: simaaaji <221018698+simaaaji@users.noreply.github.com>
Copilot AI changed the title [WIP] Update RBS inline support with Sorbet type checking Remove RBS inline from tests and add Sorbet for type checking Nov 7, 2025
Copilot AI requested a review from simaaaji November 7, 2025 06:41
@simaaaji simaaaji marked this pull request as ready for review November 8, 2025 10:02
@simaaaji simaaaji merged commit e05c3c8 into chore/rbs-inline Nov 8, 2025
@simaaaji simaaaji deleted the copilot/sub-pr-12 branch November 8, 2025 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants