元のPRを見てみるとそうなのかなと思ってます。 https://github.com/swiftlang/swift/pull/80745 網羅的なテストの話をしているのかと思ったのですが、 make sure this does not happen in the future なので、InlineArrayのRegressionテストの話をしているということに気づきました。

[rbi] Teach RBI how to handle non-Sendable bases of Sendable values...

This PR contains a fix for #80014. At a high level this required a bit of changing to how we model underlying values in RBI. Specifically, we needed to begin providing the higher layers of the syst...