Fix a CI failure on rbs
This commit applies https://github.com/ruby/rbs/pull/1374.
Fix a CI failure on rbs
This commit applies https://github.com/ruby/rbs/pull/1374.