runtime test should be error-free upon `ty` type check

[abelcheung]

2025-12-29 edit: Although not reported as error, ty reveal_type reports many results as Unknown. Apparently still needs some time to mature.