Lalit 88c23933bb util: Change parameter type of sorted_ids to number[]. ...

This function was mistyped; it was used in practice both accepting
string[] and number[], with the implementation taking advantage of the
fact that number.parseInt(<int>, 10) = <int>.

The only string[] callers were some overly defensive typing_data tests
that don't match the actual typing_data interface, so we remove the
string[] support and adjust the function's type, as well as those
tests.

2023-03-03 12:04:42 -08:00

4.2 KiB

Raw Blame History

View Raw